 |
      |
 |
| LLPN - Linear Logic Petri Nets |
 |
 |
|
| A Brief Chronolgy
1986 first mention of Linear Logic 1987 Girard's paper in TCS 1988 connection to Petri Nets ... 1998 introduction of LLPNs (used for studying semantics of object Petri nets) 1999 structural modification of Petri nets by LLPNs 2000 Dissertation "Linear Logic Based Calculi for Object Petri Nets" ... 2003 self-modifying Petri nets represented as LLPNs 2004 translation of object Petri nets into Prolog allows for model-checking of properties by tools, such as XTL or ProB |
||
 |
 |