Event structures for the collective tokens philosophy of inhibitor nets

Lecture Notes in Computer Science

Volumn 3618, Issue , 2005, Pages 720-732

  Pinna, G Michele ^a  

^a UNIVERSITY OF CAGLIARI   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SCIENCE; SET THEORY;

COLLECTIVE TOKEN PHILOSOPHY; EVENT STRUCTURES;

PETRI NETS;

EID: 26844464410     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/11549345_62     Document Type: Conference Paper

References (19)

1. Baldan, P., Corradini, A., Montanari, U.: Contextual Petri nets, asymmetric event structures and processes. Information and Computation 171 (2001) 1-49
2. Busi, N., Pinna, G.M.: Process semantics for Place/Transition nets with inhibitor and read arcs. Fundamenta Informaticae 40 (1999) 165-197
3. Degano, P., Priami, C.: Causality for mobile processes. In Fülöp, Z., Gécseg, F., eds.: Proceedings of ICALP'95. (1995) 660-671
4. Janicki, R., Koutny, M.: Semantics of inhibitor nets. Information and Computation 123 (1995) 1-16
5. Pinna, G.M., Poigné, A.: On the nature of events. In Havel, I.M., Koubek, V., eds.: MFCS'92 Conference Proceedings. LNCS 629, Springer Verlag (1992) 430-441
6. Baldan, P.: Modelling concurrent computations: from contextual Petri nets to graph grammars. PhD thesis, University of Pisa (2000).
7. Busi, N., Pinna, G.: Contextual event structure and Petri nets with read and inhibitor arcs, manuscript (1999)
8. th Annual IEEE Symposium on Logic in Computer Science, IEEE Computer Society Press (1995) 199-209
9. Pinna, G.M., Poigné, A.: On the nature of events: another perspective in concurrency. Theoretical Computer Science 138 (1995) 425-454
10. Hoogers, P.W., Kleijn, H.C.M., Thiagarajan, P.S.: An event structure semantics for general Petri nets. Theoretical Computer Science 153 (1996) 129-170
11. Bruni, R., Meseguer, J., Montanari, U., Sassone, V.: A comparison of petri net semantics under the collective tokens philosophy. In Hsiang, J., Ohori, A., eds.: ASIAN98. LNCS 1538, Springer Verlag (1998) 225-244
12. Baldan, P., Busi, N., Corradini, A., Pinna, G.: Domain and event structure semantics for Petri nets with read and inhibitor arcs. Theoretical Computer Science 323 (2004) 129-189
13. Glabbeek, R.J.v., Plotkin, G.D.: Event structures for resolvable conflict. In: Proceedings of MFCS '04. LNCS 3153, Springer (2004) 550-561
14. Gunawardena, J.: A generalized event structure for the muller unfolding of a safe net. In Best, E., ed.: CONCUR'93 Conference Proceedings. LNCS 715, Springer Verlag (1993)
15. Pinna, G.: Event structures with disabling/enabling relation and event automata, submitted (2005)
16. Winskel, G.: Event Structures. In: Petri Nets: Applications and Relationships to Other Models of Concurrency. LNCS 255, Springer Verlag (1987) 325-392
17. Nielsen, M., Plotkin, G., Winskel, G.: Petri Nets, Event Structures and Domains, Part 1. Theoretical Computer Science 13 (1981) 85-108
18. Langerak, R.: Transformation and Semantics for LOTOS. PhD thesis, University of Twente (1992)
19. Boudol, G.: Flow Event Structures and Flow Nets. In: Semantics of System of Concurrent Processes. LNCS 469, Springer Verlag (1990) 62-95