A Linear Logic View of Object Petri Nets

Article type: Research Article

Authors: Farwer, Berndt

Affiliations: Universität Hamburg, Fachbereich Informatik, Vogt-Kölln-Str. 30, D-22527 Hamburg, Germany. e-mail: farwer@informatik.uni-hamburg.de

Note: [] Address for correspondence: Universität Hamburg, Fachbereich Informatik, Vogt-Kölln-Str. 30, D-22527 Hamburg, Germany

Abstract: Linear Logic [4] has been shown to incorporate a fragment suitable for representing P/T-nets and giving a semantics to the computations of such nets (e.g. [1], [6], [2]). This result is generalised to coloured nets. Furthermore a new kind of high-level nets is defined: Linear Logic Petri Nets (LLPN). These nets are used as an intuitive semantics to well-known and new high-level net concepts like object systems ([8], [12], and [10]) and agent orientation.

Keywords: Linear Logic, Petri nets, object systems, concurrency

DOI: 10.3233/FI-1999-37303

Journal: Fundamenta Informaticae, vol. 37, no. 3, pp. 225-246, 1999