Parameterized Net Classes: A Uniform Approach to Petri Net Classes
Unifying Petri Nets, Advances in Petri Nets
Generalized Automata and Their Net Representations
Unifying Petri Nets, Advances in Petri Nets
Fundamenta Informaticae
An Axiomatization of the Token Game Based on Petri Algebras
Fundamenta Informaticae
Partial Order Semantics of Types of Nets
SOFSEM '09 Proceedings of the 35th Conference on Current Trends in Theory and Practice of Computer Science
Region based synthesis of P/T-nets and its potential applications
ICATPN'00 Proceedings of the 21st international conference on Application and theory of petri nets
Nets enriched over closed monoidal structures
ICATPN'03 Proceedings of the 24th international conference on Applications and theory of Petri nets
Modular system development with pullbacks
ICATPN'03 Proceedings of the 24th international conference on Applications and theory of Petri nets
An Axiomatization of the Token Game Based on Petri Algebras
Fundamenta Informaticae
Fundamenta Informaticae
Hi-index | 0.00 |