Modelling with Hierarchical Object Petri Nets

Issue title: Concurrency Specification and Programming (CS&P'2002), Part 2

Article type: Research Article

Authors: Farwer, Berndt | Misra, Kundan

Affiliations: Fachbereich Informatik, Universität Hamburg, Vogt-Kölln Str. 30, 22527 Hamburg, Germany | Department of Computer Science, University of Warwick, Coventry, CV4 7AL, UK

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.

Journal: Fundamenta Informaticae, vol. 55, no. 2, pp. 129-147, 2003