LLPN - Linear Logic Petri Nets

	Linear Logic Petri Nets combine the benefits of Petri nets with the elegance of Linear Logic. They have been successfully used for the specification of dynamic Petri net structures, i.e. Petri nets that can have their underlying net structure modified at run-time. LLPNs can be viewed as one of the siblings of the family of Object Petri Nets (OPNs). They were introduced in 1998 as a means to study the semantics of Object Systems, the OPN formalism introduced by Valk.

© 2003-2006, Berndt Farwer Shoebox