Behaviour-Preserving Transition Insertions in Unfolding Prefixes

DOI10.1007/978-3-540-73094-1_14zbMATH Open1226.68057OpenAlexW1580818410MaRDI QIDQ3612934FDOQ3612934

Authors: Victor Khomenko 

Publication date: 11 March 2009

Published in: Petri Nets and Other Models of Concurrency – ICATPN 2007 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-73094-1_14

Recommendations

• A new type of behaviour-preserving transition insertions in unfolding prefixes
• scientific article; zbMATH DE number 1863174
• Recent advances in unfolding technique
• scientific article; zbMATH DE number 1903382
• scientific article; zbMATH DE number 3905851

zbMATH Keywords

transformationsPetri netsasynchronous circuitsPetri net unfoldingsencoding conflictsSTGstransition insertions

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cited In (2)

• Recent advances in unfolding technique
• A new type of behaviour-preserving transition insertions in unfolding prefixes

This page was built for publication: Behaviour-Preserving Transition Insertions in Unfolding Prefixes

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