A Multi-region Linear Logic based calculus for dynamic Petri net structures

• Autorzy: Farwer B.
• Języki publikacji: EN

Abstrakty

EN

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 incorpo-rate the dynamical evolution of Petri net structures. The exposition is based on the Linear Logic encoding of Petri nets, and coloured Petri nets. It provides a basic se-mantics 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.

Słowa kluczowe

EN

linear logic; Petri net

• Wydawca: IOS Press
• Czasopismo: Fundamenta Informaticae
• Rocznik: 2000
• Tom: Vol. 43, Nr 1-4
• Strony: 61--79
• Opis fizyczny: bibliogr. 17 poz.

Twórcy

autor

Farwer B.

• Universität Hamburg Fachbereich Informatik Vogt-Kölln-Str. 30 D-22527 Hamburg, Germany,