Configuration structures, event structures and Petri nets

Theoretical Computer Science

Volumn 410, Issue 41, 2009, Pages 4111-4159

  van Glabbeek, R J ^a,b,c   Plotkin, G D ^c,d  

^a CSIRO   (Australia)

^b UNIVERSITY OF NEW SOUTH WALES   (Australia)

^c STANFORD UNIVERSITY   (United States)

^d UNIVERSITY OF EDINBURGH   (United Kingdom)

Author keywords

Concurrency; Configuration structures; Event structures; Petri nets; Propositional logic

Indexed keywords

CAUSAL RELATIONSHIPS; CLOSURE PROPERTY; COLLECTIVE TOKEN INTERPRETATIONS; CONCURRENCY; CONFIGURATION STRUCTURES; CONJUNCTIVE NORMAL FORMS; EVENT STRUCTURES; EXPRESSIVE POWER; NIELSEN; PROPOSITIONAL LOGIC; PROPOSITIONAL THEORIES;

GRAPH THEORY;

PETRI NETS;

EID: 68949217643     PISSN: 03043975     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.tcs.2009.06.014     Document Type: Article

References (37)

1. Baldan P., Corradini A., and Montanari U. Contextual Petri nets, asymmetric event structures and processes. Information and Computation 171 1 (2001) 1-49
2. Best E., and Devillers R. Sequential and concurrent behaviour in Petri net theory. Theoretical Computer Science 55 (1987) 87-136
3. Best E., Devillers R., Kiehn A., and Pomello L. Concurrent bisimulations in Petri nets. Acta Informatica 28 (1991) 231-264
4. Boudol G. Flow event structures and flow nets. In: Guessarian I. (Ed). Semantics of Systems of Concurrent Processes, Proceedings LITP Spring School on Theoretical Computer Science. La Roche Posay, France. LNCS vol. 469 (1990), Springer 62-95
5. Bruni R., Meseguer J., Montanari U., and Sassone V. A comparison of Petri net semantics under the collective token philosophy. In: Hsiang J., and Ohori A. (Eds). Proceedings 4th Asian Computing Science Conference Advances in Computing Science. ASIAN'98, Manila, The Philippines. LNCS vol. 1538 (1998), Springer 225-244
6. Engelfriet J. Branching processes of petri nets. Acta Informatica 28 6 (1991) 575-591
7. Gabbay D.M. Semantic investigations in Heyting's intuitionistic logic. Synthese Library vol. 148 (1981), D. Reidel
8. R.J. van Glabbeek, History preserving process graphs, 1995. Draft available at: http://theory.stanford.edu/~rvg/abstracts.html#hppg
9. van Glabbeek R.J. The individual and collective token interpretations of Petri nets. In: Abadi M., and de Alfaro L. (Eds). Proceedings 16th International Conference on Concurrency Theory. CONCUR'05, San Francisco, USA. LNCS vol. 3653 (2005), Springer 323-337
10. van Glabbeek R.J. On the expressiveness of higher dimensional automata. Theoretical Computer Science 368 1-2 (2006) 169-194
11. van Glabbeek R.J., and Goltz U. Refinement of actions in causality based models. In: de Bakker J.W., de Roever W.P., and Rozenberg G. (Eds). Proceedings REX Workshop on Stepwise Refinement of Distributed Systems: Models, Formalism, Correctness. Mook, The Netherlands 1989. LNCS vol. 430 (1990), Springer 267-300
12. van Glabbeek R.J., and Plotkin G.D. Configuration structures (extended abstract). In: Kozen D. (Ed). Proceedings 10th Annual IEEE Symposium on Logic in Computer Science. LICS'95, San Diego, USA (1995), IEEE Computer Society Press 199-209
13. van Glabbeek R.J., and Plotkin G.D. Event structures for resolvable conflict. In: Koubek V., and Kratochvil J. (Eds). Proceedings 29th International Symposium on Mathematical Foundations of Computer Science. MFCS'04, Prague, Czech Republic. LNCS vol. 3153 (2004), Springer 550-561
14. Goltz U., and Reisig W. The non-sequential behaviour of Petri nets. Information and Computation 57 (1983) 125-147
15. Gunawardena J. Geometric logic, causality and event structures. In: Baeten J.C.M., and Groote J.F. (Eds). Proceedings 2nd International Conference on Concurrency Theory. CONCUR'91, Amsterdam, The Netherlands. LNCS vol. 527 (1991), Springer 266-280
16. Gunawardena J. Causal automata. Theoretical Computer Science 101 2 (1992) 265-288
17. V. Gupta, Chu spaces: A model of concurrency, Ph.D. Thesis, Stanford University, 1994. Available at: http://boole.stanford.edu/pub/gupthes.ps.gz
18. Gupta V., and Pratt V.R. Gates accept concurrent behavior. Proceedings 34th Annual Symposium on Foundations of Computer Science. FOCS'93, Palo Alto, USA (1993), IEEE Computer Society Press 62-71
19. Hayman J., and Winskel G. The unfolding of general Petri nets. In: Hariharan R., Mukund M., and Vinay V. (Eds). Proceedings IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, Bangalore, India, 2008 (2008). http://drops.dagstuhl.de/opus/volltexte/2008/1755/ Available at: http://drops.dagstuhl.de/opus/volltexte/2008/1755/
20. Hoogers P.W., Kleijn H.C.M., and Thiagarajan P.S. An event structure semantics for general Petri nets. Theoretical Computer Science 153 (1996) 129-170
21. J.-P. Katoen, Quantitative and qualitative extensions of event structures, Ph.D. Thesis, Department of Computer Science, University of Twente, 1996
22. R. Langerak, Transformations and semantics for LOTOS, Ph.D. Thesis, Department of Computer Science, University of Twente, 1992
23. Larsen K.G., and Winskel G. Using information systems to solve recursive domain equations. Information and Computation 91 2 (1991) 232-258
24. Meseguer J., Montanari U., and Sassone V. On the semantics of Petri nets. In: Cleaveland W.R. (Ed). Proceedings Third International Conference on Concurrency Theory. CONCUR'92, Stony Brook, NY, USA. LNCS 630 (1992), Springer 286-301
25. Nielsen M., Plotkin G.D., and Winskel G. Petri nets, event structures and domains, Part I. Theoretical Computer Science 13 1 (1981) 85-108
26. Pinna G.M., and Poigné A. On the nature of events: Another perspective in concurrency. Theoretical Computer Science 138 2 (1995) 425-454
27. ω as a universal domain. Journal of Computer and System Sciences 17 2 (1978) 209-236
28. V.R. Pratt, Modeling concurrency with geometry, in: Conference Record of the 18th Annual ACM Symposium on Principles of Programming Languages, POPL'91, Orlando, USA, 1991, pp. 311-322
29. V.R. Pratt, Chu spaces: Complementarity and uncertainty in rational mechanics, Course Notes, TEMPUS Summer School, Budapest, 1994. Available at: http://boole.stanford.edu/pub/bud.pdf
30. Reisig W. Petri Nets: An Introduction (1985), Springer
31. Sassone V., Nielsen M., and Winskel G. Models for concurrency: Towards a classification. Theoretical Computer Science 170 (1996) 297-348
32. Scott D.S. Completeness and axiomatizability in many-valued logic. In: Henkin L., et al. (Ed). Proceedings Tarski Symposium (1974), AMS 411-435
33. Winskel G. Event structure semantics for CCS and related languages. In: Nielsen M., and Schmidt E.M. (Eds). Proceedings 9th Colloquium on Automata, Languages and Programming. ICALP'82, Aarhus, Denmark, 1982. LNCS vol. 140 (1982), Springer 561-576
34. Winskel G. Event structures. In: Brauer W., Reisig W., and Rozenberg G. (Eds). Proceedings of an Advanced Course on Petri Nets: Applications and Relationships to Other Models of Concurrency, Advances in Petri Nets 1986, Part II. Bad Honnef, September 1986. LNCS vol. 255 (1987), Springer 325-392
35. Winskel G. An introduction to event structures. In: de Bakker J.W., de Roever W.P., and Rozenberg G. (Eds). Proceedings REX School/Workshop on Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency. Noordwijkerhout, The Netherlands, 1988. LNCS vol. 354 (1989), Springer 364-397
36. Winskel G. Events, causality and symmetry. In: Gelenbe E., Abramsky S., and Sassone V. (Eds). Proceedings BCS International Academic Conference Visions in Computer Science, London, UK 2008, Electronic Workshops in Computing (2008). http://www.bcs.org/server.php%3Fshow%3DConWebDoc.22872 Available at: http://www.bcs.org/server.php?show=ConWebDoc.22872
37. Winskel G., and Nielsen M. Models for concurrency. Handbook of Logic in Computer Science vol. 4 (1995), Oxford University Press 1-148