Process semantics of general inhibitor nets

Information and Computation

Volumn 190, Issue 1, 2004, Pages 18-69

  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; Processes; Step sequences; Theory of concurrency; Weighted inhibitor arcs

Indexed keywords

ALGORITHMS; SEMANTICS; THEOREM PROVING;

CAUSALITY SEMANTICS; OCCURRENCE NETS; STEP SEQUENCES; THEORY OF CONCURRENCY; WEIGHTED INHIBITOR ARCS;

PETRI NETS;

EID: 1842815287     PISSN: 08905401     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.ic.2003.11.002     Document Type: Article

References (25)

1. M. Ajmone Marsan, G. Balbo, G. Conte, S. Donatelli, G. Franceschinis, Generalized Stochastic Petri Nets, Wiley, 1995.
2. E. Best, R. Devillers, Sequential and concurrent behaviour in Petri net theory, Theoretical Computer Science 55 (1988) 87-136.
3. E. Best, C. Fernández, Nonsequential Processes. A Petri Net View, EATCS Monographs on Theoretical Computer Science, Springer-Verlag, 1988.
4. J. Billington, Protocol Specification Using P-Graphs, a Technique Based on Coloured Petri Nets, in: Part II of [21], 1998, pp. 331-385.
5. N. Busi, G.M. Pinna, Process semantics for place/transition nets with inhibitor and read arcs, Fundamenta Informaticae 40 (1999) 165-197.
6. G. Chiola, S. Donatelli, G. Franceschinis, Priorities, Inhibitor Arcs, and Concurrency in P/T Nets, in: Proc. of ICAT-PN 1991, Gjern, 1991, pp. 182-205.
7. S. Donatelli, G. Franceschinis, Modelling and Analysis of Distributed Software Using GSPNs, in: Part II of [21], 1998, pp. 438-476.
8. H. Ehrig, G. Juhás, J. Padberg, G. Rozenberg (Eds.), Unifying Petri Nets, Lecture Notes in Computer Science, Springer-Verlag, Berlin, vol. 2128, 2001, p. 2128.
9. R. Fräisse, Theory of Relations, North Holland, 1986.
10. H. Gaifman, V. Pratt, Partial Order Models of Concurrency and the Computation of Function, LICS 1987, IEEE Computer Society Press, 1987, pp. 72-85.
11. U. Goltz, 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, MIT, 1976.
13. R. Janicki, M. Koutny, Structure of concurrency, Theoretical Computer Science 112 (1993) 5-52.
14. R. Janicki, M. Koutny, Semantics of inhibitor nets, Information and Computation 123 (1995) 1-16.
15. R. Janicki, M. Koutny, Order structures and generalisations of Szpilrajn's theorem, Acta Informatica 34 (1997) 367-388.
16. R. Janicki, M. Koutny, On causality semantics of nets with priorities, Fundamenta Informaticae 38 (1999) 1-33.
17. G. Juhás, R. Lorenz, T. Šingliar, On Synchronicity and Concurrency in Petri Nets, in: W. van der Aalst, E. Best (Eds.), Proc. of ICATPN 2003, Lecture Notes in Computer Science, Springer-Verlag, Berlin, vol. 2679, 2003, pp. 357-376.
18. H.C.M. Kleijn, M. Koutny, Process Semantics of P/T-Nets with Inhibitor Arcs, in: M. Nielsen, D. Simpson (Eds.), Proc. of ICATPN 2000, Lecture Notes in Computer Science, Springer-Verlag, Berlin, vol. 1825, 2000, pp. 261-281.
19. H.C.M. Kleijn, M. Koutny, Causality Semantics of Petri Nets with Weighted Inhibitor Arcs, in: L. Brim, P. Jancar, M. Kretinsky, A. Kucera (Eds.), Proc. of CONCUR 2002, Lecture Notes in Computer Science, Springer-Verlag Berlin, vol. 2421, 2002, pp. 531-546.
20. J.L. Peterson, Petri Net Theory and the Modeling of Systems, Prentice Hall, New Jersey, 1981.
21. W. Reisig, G. Rozenberg, (Eds.), Lectures on Petri Nets, Lecture Notes in Computer Science, Springer-Verlag, Berlin, vol. 1491 (Part I) and vol. 1492 (Part II), 1998.
22. G. Rozenberg, J. Engelfriet, Elementary net systems, in: Part I of [21], 1998, pp. 12-121.
23. E. Szpilrajn, Sur l'extension de l'ordre partiel, Fundamenta Mathematicae 16 (1930) 386-389.
24. W. Vogler, Executions: a new partial-order semantics of Petri nets, Theoretical Computer Science 91 (1991) 205-238.
25. W. Vogler, Partial order semantics and read arcs, Theoretical Computer Science 286 (2002) 33-63.