Modelling with hierarchical object Petri nets

Authors:
Berndt Farwer;Kundan Misra
Affiliations:
Fachbereich Informatik, Universität Hamburg, Germany;Department of Computer Science, University of Warwick, Coventry, CV4 7AL, United Kingdom
Venue:
Fundamenta Informaticae - Concurrency specification and programming
Year:
2002

Citing 9
Cited 4

Interaction categories and the foundations of typed concurrent programming

Proceedings of the NATO Advanced Study Institute on Deductive program design
A linear logic view of object petri nets

Fundamenta Informaticae - Special issue on Petri nets
Concurrent object-oriented programming and petri nets: advances in petri nets

Concurrent object-oriented programming and petri nets: advances in petri nets
Communication and Concurrency

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
Interaction Categories

Proceedings of the First Imperial College Department of Computing Workshop on Theory and Formal Methods
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

Model checking object petri nets in prolog

PPDP '04 Proceedings of the 6th ACM SIGPLAN international conference on Principles and practice of declarative programming
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
Separation of Control and Data Flow in High-Level Petri Nets: Transforming Dual Flow Nets into Object Petri Nets

Fundamenta Informaticae - SPECIAL ISSUE ON CONCURRENCY SPECIFICATION AND PROGRAMMING (CS&P 2005) Ruciane-Nide, Poland, 28-30 September 2005
Quickly prototyping petri nets tools with SNAKES

Proceedings of the 1st international conference on Simulation tools and techniques for communications, networks and systems & workshops

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.