Towards Linear Logic Petri Nets - From P/T-Nets to Object Systems

Authors:
Berndt Farwer
Affiliations:
-
Venue:
Towards Linear Logic Petri Nets - From P/T-Nets to Object Systems
Year:
1998

Citing 0
Cited 2

Relating state-based and process-based concurrency through linear logic (full-version)

Information and Computation
A Multi-region Linear Logic Based Calculus for Dynamic Petri Net Structures

Fundamenta Informaticae

Quantified Score

Hi-index	0.00

Visualization

Abstract

Linear Logic has been shown to incorporate a fragment suitable for representing P/T-nets and giving an interleaving semantics to the computations of such nets. This result is generalized 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 and agent orientation.