Comparing Concepts of Object Petri Net Formalisms

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

Abstrakty

EN

In recent years many authors have come up with definitions of object Petri nets. They can be divided into two main classes: those that try to model object-orientation within a framework of Petri nets, and those modelling the token objects of an environment net by Petri nets but do not follow the paradigm of object-orientation. We compare some aspects of the latter kind with the foundations of Linear Logic and Linear Logic Petri nets, establishing some simulations between the formalisms

Słowa kluczowe

EN

Petri net; Linear Logic Petri

• Wydawca: IOS Press
• Czasopismo: Fundamenta Informaticae
• Rocznik: 2001
• Tom: Vol. 47, nr 3,4
• Strony: 247--258
• Opis fizyczny: wykr., bibliogr. 17 poz.

Twórcy

autor

Farwer B.

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