Normalization of place/transition-systems preserves net behaviour

DOI10.1051/ita/1992260100191zbMath0753.68075OpenAlexW237528MaRDI QIDQ3991291

Elisabeth Pelz

Publication date: 28 June 1992

Published in: RAIRO - Theoretical Informatics and Applications (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/92406

zbMATH Keywords

Petri nets

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (3)

A polynomial \(\lambda\)-bisimilar normalization for reset Petri nets ⋮ Petri net reactive modules ⋮ Pomset bisimulation and unfolding for reset Petri nets

Cites Work

• A logical approach of Petri net languages
• Petri nets: central models and their properties. Advances in Petri nets 1986, Part I. Proceedings of an advanced course, Bad Honnef, September 8--19, 1986
• Concurrent bisimulations in Petri nets
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Normalization of place/transition-systems preserves net behaviour