Contents
Download:
|
|
by Berndt Farwer, Fachbereich Informatik
http://www.informatik.uni-hamburg.de/TGI/mitarbeiter/wimis/farwer/TowardsLLPN.ps.gz
Add To MetaCart
Abstract:
ii iii Linear Logic [Gir87] has been shown to incorporate a fragment suitable for representing P=T-nets and giving an interleaving semantics to the computations of such nets (e.g. [Bro89], [MOM89], [EW90]). This result is generalized to coloured nets. Furthermore a new kind of high-level nets is dened: 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 ([Val96b]) and agent orientation. Related topics have been addressed in [Far96] and [Far98].
Citations
| 65 | A brief guide to linear logic – Scedrov - 1993 |
| 56 | A taste of linear logic – Wadler - 1993 |
| 34 | Lectures on Linear Logic – Troelstra - 1992 |
| 24 | Petri Nets as Token Objects: An Introduction to Elementary Object Nets – Valk - 1998 |
| 12 | On processes of object Petri nets – Valk - 1996 |
| 11 | Timed Petri nets and temporal linear logic – Tanabe - 1997 |
| 7 | Petri nets as dynamical objects – Valk - 1995 |
| 5 | Modelling Concurrency by Task/Flow EN Systems – Valk - 1991 |
| 3 | How to De Markings in Object Systems – Valk - 1996 |
| 1 | Introduction to Petri Nets. Lecture Notes of the MATCH summer school – Valk - 1998 |
