Comparing Concepts of Object Petri Net Formalisms

Issue title: Concurrency Specification and Programming (CS&P'2000)

Article type: Research Article

Authors: Farwer, Bernd

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

Abstract: 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.

Keywords:

Journal: Fundamenta Informaticae, vol. 47, no. 3-4, pp. 247-258, 2001