On the semantics of place/transition nets

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1664 LNCS, Issue , 1999, Pages 447-462

  Morin, Rémi ^a   Rozoy, Brigitte ^a  

^a UFR 919 Laboratoire d'Informatique Pour la Mécanique et les Sciences de l'Ingénieur   (France)

Author keywords

[No Author keywords available]

Indexed keywords

PETRI NETS;

EVENT STRUCTURES; LOCAL EVENT STRUCTURES; LOCAL TRACE LANGUAGES; P/T NET; PARTIAL ORDER;

SEMANTICS;

EID: 84878648428     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-48320-9_31     Document Type: Conference Paper

References (19)

1. Badouel E., Bernardinello L., Darondeau Ph.: Polynomial algorithms for the synthesis of bounded nets. CAAP, LNCS 915 (1995) 647-679
2. Droste M.: Event structures and domains. TCS 68 (1989) 37-47
3. Engelfriet J.: Branching processes of Petri nets. Act. Inf. 28 (1991) 575-591
4. Esparza J.: Model Checking Using Net Unfoldings. LNCS 668 (1993) 613-628
5. Van Glabbeek R.J., Plotkin G.D.: Configuration Structures. LICS 95 (1995) 199-209
6. Hoogers P.W.: Behavioural aspects of Petri nets. Thesis, av. at ftp://ftp.wi.leidenuniv.nl/pub/CS/PhDTheses/hoogers-94.ps.gz (Leiden University, 1994)
7. Hoogers P.W., Kleijn H.C.M., Thiagarajan P.S.: A Trace Semantics for Petri Nets. Information and Computation 117 (1995) 98-114
8. Hoogers P.W., Kleijn H.C.M., Thiagarajan P.S.: An Event Structure Semantics for General Petri Nets. Theoretical Computer Science 153 (1996) 129-170
9. Janicki R., Koutny M.: Semantics of inhibitors nets. Inf. and Comp. 123 (1995) 1-15
10. Kleijn H.C.M., Morin R., Rozoy B.: Event Structures for Local Traces. Electronic Notes in Theoretical Computer Science 16-2 (1998) - 16 p.
11. Kleijn H.C.M., Morin R., Rozoy B.: Categorical Connections between Local Event Structures and Local Traces. Technical Report 99-01, Univ. Leiden (1999) - 10 p.
12. MacMillan K.L.: Using unfoldings to avoid the state explosion problem in the verification of asynchronous circuits. CAV'92, LNCS 663 (1992) 165-177
13. Mazurkiewicz A.: Concurrent program schemes and their interpretations. Aarhus University Publication (DAIMI PB-78, 1977)
14. Meseguer J., Montanari U., Sassone V.: On the Semantics of Petri Nets. Concur'92, LNCS 630 (1992) 286-301
15. Montanari U., Rossi F.: Contextual nets. Act. Inf. 36 (1995) 545-596
16. Mukund M.: Petri Nets and Step Transition Systems. International Journal of Foundations of Computer Science 3 (1992) 443-478
17. Nielsen M., Plotkin G., Winskel G.: Petri nets, events structures and domains, Part I. Theoretical Computer Science 13 (1981) 85-108
18. Nielsen M., Sassone V., Winskel G.: Relationships between Models of Concurrency. LNCS 803 (1994) 425-475
19. Pierce B.C.: Category Theory for Computer Scientists. (The MIT Press, 1991)