The individual and collective token interpretations of Petri nets

Lecture Notes in Computer Science

Volumn 3653, Issue , 2005, Pages 323-337

  Van Glabbeek, Robert Jan ^a  

^a UNIVERSITY OF NEW SOUTH WALES   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL METHODS; EQUIVALENCE CLASSES; FINITE AUTOMATA; MAPPING; SEMANTICS;

COLLECTIVE TOKEN INTERPRETATIONS; COMPUTATIONAL INTERPRETATIONS; FIRING RULES; LABELED STEP TRANSITION SYSTEMS; SEMANTIC MAPPINGS;

PETRI NETS;

EID: 27244451965     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/11539452_26     Document Type: Conference Paper

References (11)

1. E. BADOUEL (1996): Splitting of actions, higher-dimensional automata, and net synthesis. Technical Report RR-3490, Inria, France.
2. E. BEST & R. DEVILLERS (1987): Sequential and concurrent behavior in Petri net theory. Theoretical Computer Science 55(1), pp. 87-136.
3. E. BEST, R. DEVILLERS, A. KIEHN & L. POMELLO (1991): Concurrent bisimulotions in Petri nets. Acta. Informatica 28, pp. 231-264.
4. J. ENGELFRIET (1991): Branching processes of petrinets. Acta Informatica 28(6), pp. 575-591.
5. R.J. VAN GLABBEEK (2005): On the expressiveness of higher dimensional automata (extended abstract). Available at http://boole.stanford.edu/pub/hda-ea. pdf. Electronic Notes in Theoretical Computer Science 128(2): Proc. 11th International Workshop on Expressiveness in Concurrency, EXPRESS 2004, pp. 5-34.
6. th Annual IEEE Symposium on Logic in Computer Science, LICS'95, San Diego, USA, IEEE Computer Society Press, pp. 199-209. Available at http://boole.stanford.edu/pub/ conf.pa.gz.
7. U. GOLTZ & W. REISIG (1983): The non-sequential behaviour of Petri nets. Information and Computation 57, pp. 125-147.
8. J. MESEGUER, U. MONTANARI & V. SASSONE (1997): On the semantics of place/ transition Petri nets. Mathematical Structures in Computer Science 7, pp. 359-397.
9. M. MUKUND (1992): Petri nets and step transition systems. International Journal of Foundations of Computer Science 3(4), pp. 443-478.
10. V.R. PRATT (1991): Modeling concurrency with geometry. In Proc. 18th Ann. ACM Symposium on Principles of Programming Languages, pp. 311-322.
11. G. WINSKEL (1987): Event structures. In W. Brauer, W. Reisig & G. Rozenberg, editors: Petri Nets: Applications and Relationships to Other Models of Concurrency, Advances in Petri Nets 1986, Part II, Proceedings of an Advanced Course, Bad Honnef, September 1986, LNCS 255, Springer, pp. 325-392.