Complete process semantics for inhibitor nets

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

Volumn 4546 LNCS, Issue , 2007, Pages 184-203

  Juhás, Gabriel ^b   Lorenz, Robert ^a   Mauser, Sebastian ^a  

^a Catholic University of Eichstätt Ingolstadt   (Slovakia)

^b SLOVAK UNIVERSITY OF TECHNOLOGY   (Slovakia)

Author keywords

[No Author keywords available]

Indexed keywords

PETRI NETS;

CAUSALITY SEMANTICS; CAUSALITY STRUCTURES;

SEMANTICS;

EID: 38149134490     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-73094-1_13     Document Type: Conference Paper

References (20)

1. Billington, J.: Protocol specification using p-graphs, a technique based on coloured petri nets. In: Reisig, W., Rozenberg, G. [20] pp. 293-330
2. Busi, N., Pinna, G.M.: Process semantics for place/transition nets with inhibitor and read arcs. Fundam. Inform. 40(2-3), 165-197 (1999)
3. Donatelli, S., Franceschinis, G.: Modelling and analysis of distributed software using gspns. In: Reisig, W., Rozenberg, G. [20], pp. 438-476
4. Goltz, U., Reisig, W.: The non-sequential behaviour of petri nets. Information and Control 57(2/3), 125-147 (1983)
5. Goltz, U., Reisig, W.: Processes of place/transition-nets. In: Diaz, J. (ed.) Automata, Languages and Programming. LNCS, vol. 154, pp. 264-277. Springer, Heidelberg (1983)
6. Janicki, R., Koutny, M.: Semantics of inhibitor nets. Inf. Comput. 123(1), 1-16 (1995)
7. Jensen, K.: Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use. In: Monographs in Theoretical Computer Science, vol. 1-3, Springer, Heidelberg (1992) (1994) (1997)
8. Juhas, G.: Are these events independend? it depends! Habilitation (2005)
9. Juhas, G., Lorenz, R., Mauser, S.: Synchronous + concurrent + sequential = earlier than + not later than. In: Proceedings of ACSD 2006, pp. 261-270 (2006)
10. Juhás, G., Lorenz, R., Mauser, S.: Complete process semantics of inhibitor net (2007) Technical report http://www.informatik.ku-eichstaett.de/ mitarbeiter/lorenz/techreports/complete.pdf
11. Kiehn, A.: On the interrelation between synchronized and non-synchronized behaviour of petri nets. Elektronische Informationsverarbeitung und Kybernetik 24(1/2), 3-18 (1988)
12. Kleijn, H.C.M., Koutny, M.: Process semantics of p/t-nets with inhibitor arcs. In: Nielsen, M., Simpson, D. (eds.) ICATPN 2000. LNCS, vol. 1825, pp. 261-281. Springer, Heidelberg (2000)
13. Kleijn, H.C.M., Koutny, M.: Process semantics of general inhibitor nets. Inf. Comput. 190(1), 18-69 (2004)
14. Lorenz, R., Bergenthum, R., Mauser, S.: Testing the executability of scenarios in general inhibitor nets. In: Proceedings ACSD 2007 (2007)
15. Peterson, J.: Petri Net Theory and the Modeling of Systems. Prentice-Hall, Englewood Cliffs (1981)
16. Szpilrajn, E.: Sur l'extension de l'ordre partiel. Fundamenta Mathematicae 16, 386-389 (1930)
17. Vogler, W.: Modular Construction and Partial Order Semantics of Petri Nets. LNCS, vol. 625. Springer, Heidelberg (1992)
18. Vogler, W.: Partial words versus processes: a short comparison. In: Rozenberg, G. (ed.) Advances in Petri Nets: The DEMON Project. LNCS, vol. 609, pp. 292-303. Springer, Heidelberg (1992)
19. Vogler, W.: Partial order semantics and read arcs. In: Privara, I., Ruzicka, P. (eds.): MFCS 1997. LNCS, vol. 1295, pp. 508-517. Springer, Heidelberg (1997)
20. Reisig, W., Rozenberg, G. (eds.): Lectures on Petri Nets II: Applications, Advances in Petri Nets, the volumes are based on the Advanced Course on Petri Nets, held in Dagstuhl, September 1996. LNCS, vol. 1492. Springer, Heidelberg (1998)