Transition systems of elementary net systems with inhibitor arcs

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

Volumn 1248, Issue , 1997, Pages 310-327

  Pietkiewicz Koutny, Marta ^a  

^a NEWCASTLE UNIVERSITY   (United Kingdom)

Author keywords

Analysis and synthesis; Causality partial order theory of concurrency; Structure and behaviour of nets

Indexed keywords

PETRI NETS;

ANALYSIS AND SYNTHESIS; AUTOMATIC SYNTHESIS; ELEMENTARY NET SYSTEM; INTERLEAVING SEMANTICS; OPERATIONAL DESCRIPTION; ORDER THEORY; PARTIAL ORDER SEMANTICS; STEP TRANSITION SYSTEM;

SEMANTICS;

EID: 67651170895     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-63139-9_43     Document Type: Conference Paper

References (14)

1. Bednarczyk M.A.: Categories of asynchronous systems. Ph.D. Thesis, University of Sussex (1988).
2. Billington J.: Extensions to coloured nets. Proc. of 3rd Int. Workshop on Petri Nets and Performance Models, Kyoto, Japan (1989), 61-70.
3. Bemardinello L., De Michelis G., Petruni K., Vigna S.: On the synchronic structure of transition systems. In: J. Desel (Ed.) Structures in Concurrency Theory, Berlin 1995, Workshops in Computing, Springer (1995), 69-84.
4. Chiola G., Donatelli S., Francheschinis G.: Priorities, inhibitor arcs and concurrency in P/T nets. Proc. of 12th Intern. Conf. on Appl. and Theory of Petri Nets, Gjem, Denmark (1991), 182-205.
5. Christiansen S., Hansen N.D.: Coloured Petri nets extended with place capacities, test arcs and inhibitor arcs. Proc. of Application and Theory of Petri Nets’93, Lecture Notes in Computer Science 651, Springer (1993), 186-205.
6. Hoogeboom H.J., Rozenberg G.: Diamond properties of elementary net systems. Fundamenta Informaticae XIV (1991), 287-300.
7. Janidd R., Koutny M.: Semantics of inhibitor nets. Information and Computation, Vol. 123, № 1 (1995), 1-16.
8. Janicki R., Lauer P.E.: Specification and analysis of concurrent systems: the COSY approach. Springer-Verlag, (1992).
9. Keller R.M.: Formal verification of parallel programs. CACM, Vol. 19, № 7 (1976), 371-389.
10. Montanan U., Rossi F.: Contextual nets. Acta Informatica 32 (1995), 545-596.
11. Mukund M.: Petri nets and step transition systems. International Journal of Foundations of Computer Science, Vol. 3, № 4 (1992), 443-478.
12. Nielsen M., Rozenberg G., Thiagarajan P.S.: Elementary transition systems. Theoretical Computer Science 96 (1992), 3-33.
13. Shields M.W.: Concurrent machines. Computer Journal 28 (1985), 449-465.
14. Winskel G., Nielsen M.: Models for concurrency. In: S. Abramsky, Dov M. Gabbay and T.S.E. Maibaum (Eds.), Handbook of Logic in Computer Science, Vol. 4 (1995), 1-148.