The synthesis problem of Petri nets

Acta Informatica

Volumn 33, Issue 4, 1996, Pages 297-315

  Desel, Jörg ^a   Reisig, Wolfgang ^a  

^a HUMBOLDT UNIVERSITY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0030533613     PISSN: 00015903     EISSN: None     Source Type: Journal    
DOI: 10.1007/s002360050046     Document Type: Article

References (8)

1. L. Bernadinello: "Synthesis of Net Systems", Proc. Application and Theory of Petri Nets, Lecture Notes in Computer Science 691, (Springer-Verlag, 1993) 89-105
2. A. Ehrenfeucht, G. Rozenberg: "Partial 2-structures; Part II State Space of Concurrent Systems", Acta Inf. 27 (1990) 348-368
3. R. Janicki: "Transforming Sequential Systems into Concurrent Systems", Theoret. Comp. Sci. 36 (1985) 27-58
4. B. Krieg: "Petrinetze und Zustandsgraphen", IFI-Bericht B-29/77, Institut für Informatik, Universität Hamburg, Germany, 1977
5. C. Lengauer, E.C.R. Hehner: "A Methodology for Programming with Concurrency: An Informal Presentation", Sci. of Comp. Progr. 2 (1982) 1-18
6. M. Mukund: "Petri Nets and Step Transition Systems", Int. Journal of Found. of Comp. Sci. 3 No. 4 (1982) 443-478
7. M. Nielsen, G. Rozenberg, P.S. Thiagarajan: "Elementary Transition Systems", Theo. Comp. Sci. 96, 1 (1992) 3-33
8. P.S. Thiagarajan: "Elementary Net Systems", Advances in Petri Nets 1986 Part I, Lecture Notes in Computer Science 254, (Springer-Verlag, 1987) 26-59