Interaction categories (extended abstract)
Proceedings of the First Imperial College Department of Computing Workshop on Theory and formal methods 1993
Interaction categories and the foundations of typed concurrent programming
Proceedings of the NATO Advanced Study Institute on Deductive program design
Concurrent object-oriented programming and petri nets: advances in petri nets
Concurrent object-oriented programming and petri nets: advances in petri nets
Concurrency in communicating object petri nets
Concurrent object-oriented programming and petri nets
Communication and Concurrency
Petri Nets for System Engineering: A Guide to Modeling, Verification, and Applications
Petri Nets for System Engineering: A Guide to Modeling, Verification, and Applications
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
Refinement and Simulation of Nets - A Categorical Characterisation
Proceedings of the 13th International Conference on Application and Theory of Petri Nets
A Concept of Hierarchical Petri Nets with Building Blocks
Papers from the 12th International Conference on Applications and Theory of Petri Nets: Advances in Petri Nets 1993
Relating Different Semantics for Object Petri Nets
Relating Different Semantics for Object Petri Nets
A Linear Logic View of Object Petri Nets
Fundamenta Informaticae
Determining Sound Markings in Structured Nets
Fundamenta Informaticae - SPECIAL ISSUE ON CONCURRENCY SPECIFICATION AND PROGRAMMING (CS&P 2005) Ruciane-Nide, Poland, 28-30 September 2005
Fundamenta Informaticae - SPECIAL ISSUE ON CONCURRENCY SPECIFICATION AND PROGRAMMING (CS&P 2005) Ruciane-Nide, Poland, 28-30 September 2005
Hi-index | 0.00 |
Fehling's hierarchical Petri nets are a net modelling framework based on refinement and abstraction of nets. Object Petri nets are a Petri net-based method of encapsulation. We bring these two domains together in the new concept of hierarchical object Petri nets. Defining hierarchical object Petri nets forces us to consider what it means to preserve synchronisation when abstracting or refining an object Petri net. The goal is to provide a sound theoretical basis for building computer tools to develop high-level Petri net models following the nets-within-nets paradigm.