For the most recent entries see the Petri Nets Newsletter.

Modelling with hierarchical object Petri nets.

Farwer, Berndt; Misra, Kundan

In: Fundamenta Informaticae, Volume 55 , Issue 2, pages 129-147. May 2003.

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.

Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography