Abstract
In the paper a modification of classical Petri nets is defined. The fundamental notions of nets, as places, transitions, and firing rules are retained. In this way the composition properties of classical nets as well as their full expressive power is preserved. However, while preserving basic notions of Petri nets theory, the presented modification offers much more freedom in defining data types and the way of place contents transformations. It turns out that such a modification leads to a simplification of the net description (neither tokens nor arrows are necessary anymore) and yet strengthening its expressive power.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Diekert, V., Rozenberg, G.: Book of Traces. World Scientific Pub. Co, Singapore (1995)
Mazurkiewicz, A.: Semantics of Concurrent Systems: A Modular Fixed Point Trace Approach, Instituut voor Toegepaste Wiskunde en Informatica, Rijksuniversiteit Leiden, TR-84-19 (1984)
Petri, C.A.: Concepts of Net Theory. In: Proc. of MFCS 1973, High Tatras, Math. Institute of Slovak Academy of Sciences, pp. 137–146 (1973)
Reisig, W.: Petri Nets. In: EATCS Monographs on Theoretical Computer Science, Springer, Heidelberg (1985)
Shields, M.W.: Non-sequential behaviour, part I. Int. Report CSR-120-82, Dept. of Computer Science, University of Edinburgh (1979)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Mazurkiewicz, A. (2008). Token-Free Petri Nets. In: Avron, A., Dershowitz, N., Rabinovich, A. (eds) Pillars of Computer Science. Lecture Notes in Computer Science, vol 4800. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-78127-1_27
Download citation
DOI: https://doi.org/10.1007/978-3-540-78127-1_27
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-78126-4
Online ISBN: 978-3-540-78127-1
eBook Packages: Computer ScienceComputer Science (R0)