TY - RPRT
T1 - Towards Linear Logic Petri Nets - From P/T-Nets to Object Systems
A1 - Farwer,Berndt
Y1 - 2009/08/25
N2 - 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.
KW - Petri-Netz
KW - Lineare Logik
KW - Objektsysteme
CY - Hamburg
PB -
AD -
L2 - http://edoc.sub.uni-hamburg.de/informatik/volltexte/2009/39
ER -