Causality semantics of petri nets with weighted inhibitor arcs

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

Volumn 2421 LNCS, Issue , 2002, Pages 531-546

  Kleijn, H C M ^a   Koutny, M ^b  

^a LEIDEN UNIVERSITY   (Netherlands)

^b NEWCASTLE UNIVERSITY   (United Kingdom)

Author keywords

Causality semantics; Occurrence nets; Petri nets; Step sequences; Theory of concurrency; Weighted inhibitor arcs

Indexed keywords

PETRI NETS;

INHIBITOR ARCS; OCCURRENCE NET; PROCESS SEMANTICS; STEP SEQUENCES; THEORY OF CONCURRENCY;

SEMANTICS;

EID: 23044534933     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45694-5_35     Document Type: Conference Paper

References (20)

1. M. Ajmone Marsan, G. Balbo, G. Conte, S. Donatelli and G. Franceschinis: Generalized Stochastic Petri Nets. Wiley (1995).
2. P. Baldan, N. Busi A. Corridani and G. M. Pinna: Functorial Concurrent Semantics for Petri Nets with Read and Inhibitor Arcs. Proc. of CONCUR 2000, Springer-Verlag, LNCS 1877 (2000) 442-457.
3. E. Best and R. Devillers: Sequential and Concurrent Behaviour in Petri Net Theory. Theoreti cal Computer Science 55 (1988) 87-136.
4. E. Best and C. Fernández: Nonsequential Processes. A Petri Net View. EAT CS Monographs on Theoretical Computer Science, Springer-Verlag (1988).
5. J. Billington: Protocol Specification Using P-Graphs, a Technique Based on Coloured Petri Nets. In: Part II of [17] (1998) 331-385.
6. N. Busi and G. M. Pinna: Process Semantics for Place/Transition Nets with Inhibitor and Read Arcs. Fundamenta Informaticae 40 (1999) 165-197.
7. G. Chiola, S. Donatelli, G. Franceschinis: Priorities, Inhibitor Arcs, and Concurrency in P/TNets. Proc. of ICATPN'1991, Gjern (1991) 182-205.
8. S. Donatelli and G. Franceschinis: Modelling and Analysis of Distributed Software Using GSPNs. In: Part II of [17] (1998) 438-476.
9. R. Fräisse: Theory of Relations. North Holland (1986).
10. H. Gaifman and V. Pratt: Partial Order Models of Concurrency and the Computation of Function. Proc. of LICS'87, IEEE CS Press (1987) 72-85.
11. U. Goltz and W. Reisig: The Non-sequential Behaviour of Petri Nets. Information and Control 57 (1983) 125-147.
12. M. H. T. Hack: Decidability Questions for Petri Nets. PhD Thesis, M. I. T. (1976).
13. R. Janicki and M. Koutny: Semantics of Inhibitor Nets. Information and Computation 123 (1995) 1-16.
14. H. C. M. Kleijn and M. Koutny: Process Semantics of P/T-Nets with Inhibitor Arcs. Proc. of ICATPN'2000, Springer-Verlag, LNCS 1825 (2000) 261-281.
15. H. C. M. Kleijn and M. Koutny: Process Semantics of General Inhibitor Nets. Technical Report CS-TR-769, Dept. of Comp. Sci., University of Newcastle (2002).
16. J. L. Peterson: Petri Net Theory and the Modeling of Systems. Prentice Hall (1981).
17. W. Reisig and G. Rozenberg (Eds.): Lectures on Petri Nets. Springer-Verlag, LNCS 1491&1492 (1988).
18. G. Rozenberg and J. Engelfriet: Elementary Net Systems. In: Part I of [17] (1998) 12-121.
19. W. Vogler: Executions: a New Partial-order Semantics of Petri Nets. Theoretical Computer Science 91 (1991) 205-238.
20. W. Vogler: Partial Order Semantics and Read Arcs. Proc. of MFCS'97, Springer-Verlag, LNCS 1295 (1997) 508-517.