Concurrency in communicating object petri nets
Concurrent object-oriented programming and petri nets
Safety and Liveness Properties for Real Traces and a Direct Translation from LTL to Monoids
Formal and Natural Computing - Essays Dedicated to Grzegorz Rozenberg [on occasion of his 60th birthday, March 14, 2002]
Formal and Natural Computing - Essays Dedicated to Grzegorz Rozenberg [on occasion of his 60th birthday, March 14, 2002]
Petri Nets as Token Objects: An Introduction to Elementary Object Nets
ICATPN '98 Proceedings of the 19th International Conference on Application and Theory of Petri Nets
Reasoning about Algebraic Generalisation of Petri Nets
Proceedings of the 20th International Conference on Application and Theory of Petri Nets
Behavior and Realization Construction for Petri Nets Based on Free Monoid and Power Set Graphs
Unifying Petri Nets, Advances in Petri Nets
Safety and liveness properties for real traces and a direct translation from LTL to monoids
Formal and natural computing
Formal and natural computing
Behaviour and Instantiation of High-Level Petri Net Processes
Fundamenta Informaticae
Composition and Independence of High-Level Net Processes
Electronic Notes in Theoretical Computer Science (ENTCS)
Modeling the Exogenous Coordination of Mobile Channel-based Systems with Petri Nets
Electronic Notes in Theoretical Computer Science (ENTCS)
Main concepts of networks of transformation units with interlinking semantics
Formal Methods in Software and Systems Modeling
Modelling of communication platforms using algebraic high-level nets and their processes
Software Service and Application Engineering
Behaviour and Instantiation of High-Level Petri Net Processes
Fundamenta Informaticae
ABSTRACT SEMANTICS FOR ESM SYSTEMS
Fundamenta Informaticae
Hi-index | 0.00 |