Normalization of place/transition-systems preserves net behaviour

DOI10.1051/ITA/1992260100191MaRDI QIDQ3991291zbMATH OpenOpenAlexFDO

Authors 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)

Recommendations

• scientific article; zbMATH DE number 5263412
• A polynomial -bisimilar normalization for reset Petri nets
• scientific article; zbMATH DE number 4035157
• scientific article; zbMATH DE number 3905851
• scientific article; zbMATH DE number 1101393

Cites work

• A logical approach of Petri net languages
• Concurrent bisimulations in Petri nets
• scientific article; zbMATH DE number 3829262 (Why is no real title available?)
• scientific article; zbMATH DE number 3911720 (Why is no real title available?)
• scientific article; zbMATH DE number 3988725 (Why is no real title available?)
• scientific article; zbMATH DE number 4033098 (Why is no real title available?)
• scientific article; zbMATH DE number 3735177 (Why is no real title available?)
• scientific article; zbMATH DE number 3789841 (Why is no real title available?)
• scientific article; zbMATH DE number 176514 (Why is no real title available?)
• scientific article; zbMATH DE number 3400923 (Why is no real title available?)
• 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

Cited in

(3)

• A polynomial -bisimilar normalization for reset Petri nets
• Pomset bisimulation and unfolding for reset Petri nets
• Petri net reactive modules

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3991291)