Abstract
A safe labelled marked graph (Petri Net) with internal transitions can be transformed into a pomset-equivalent safe labelled marked graph without internal transitions.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Best, E., Fernández, C.: Nonsequential Processes: A Petri Net View. EATCS Monographs on Theoretical Computer Science, vol. 13. Springer, Heidelberg (1988)
Best, E.: Semantics of Sequential and Nonsequential Programs. Prentice-Hall, Englewood Cliffs (1996)
Best, E., Devillers, R.: Sequential and Concurrent Behaviour in Petri Net Theory. Theoretical Computer Science 55, 87–136 (1988)
Best, E., Wimmel, H.: Reducing k-Safe Petri Nets to Pomset-Equivalent 1-Safe Petri Nets. In: Nielsen, M., Simpson, D. (eds.) ICATPN 2000. LNCS, vol. 1825, pp. 63–82. Springer, Heidelberg (2000)
Commoner, F., Holt, A., Even, S., Pnueli, A.: Marked Directed Graphs. Journal of Computer and System Sciences 5, 511–523 (1971)
Genrich, H.J., Lautenbach, K.: Synchronisationsgraphen. Acta Informatica 2, 143–161 (1973)
Nielsen, M., Thiagarajan, P.S.: Regular Event Structures and Finite Petri Nets: The Conflict-Free Case. In: Esparza, J., Lakos, C.A. (eds.) ICATPN 2002. LNCS, vol. 2360, p. 335. Springer, Heidelberg (2002)
Pratt, V.: Modelling Concurrency with Partial Orders. International Journal of Parallel Programming 15, 33–71 (1986)
Priese, L., Wimmel, H.: Petri-Netze, p. 376. Springer, Heidelberg (2003) ISBN 3-540-44289-8
Priese, L., Wimmel, H.: A Uniform Approach to True-Concurrency and Interleaving Semantics for Petri-Nets. Theoretical Computer Science 206, 219–256 (1998)
Starke, P.H.: Analyse von Petri-Netz-Modellen. Teubner, Stuttgart (1990)
Wimmel, H.: Algebraische Semantiken für Petri-Netze (Dissertation). Universität Koblenz-Landau (2000)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Wimmel, H. (2004). Eliminating Internal Behaviour in Petri Nets. In: Cortadella, J., Reisig, W. (eds) Applications and Theory of Petri Nets 2004. ICATPN 2004. Lecture Notes in Computer Science, vol 3099. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-27793-4_23
Download citation
DOI: https://doi.org/10.1007/978-3-540-27793-4_23
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-22236-1
Online ISBN: 978-3-540-27793-4
eBook Packages: Springer Book Archive