For the most recent entries see the Petri Nets Newsletter.

A multi-region linear logic based calculus for dynamic Petri net structures.

Farwer, B.

In: Fundamenta Informaticae, Vol. 43, No. 1-4, pages 61-79. 2000.

Abstract: Object-based Petri nets are becoming increasingly popular in many fields of computer science. The possibility to model real-world objects as separate Petri nets supports the need for modular design of complex systems. So far object net approaches have been based on the presumption that the object nets' structure remains unchanged in all processes. This paper sheds some light on possible extensions of high-level Petri nets to incorporate the dynamical evolution of Petri net structures. The exposition is based on the linear logic encoding of Petri nets and colored Petri nets. It provides a basic semantics for modifying net structures which can be employed in a framework of nets within nets, i.e., situations where Petri nets (so called token nets) themselves are used as tokens in an underlying environment net.

Keywords: colored Petri nets, high-level Petri nets, linear logics, object Petri nets.


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

Back to the Petri Nets Bibliography