Contextual merged processes

DOI10.1007/978-3-642-38697-8_3zbMATH Open1381.68216OpenAlexW1842334768MaRDI QIDQ5300864FDOQ5300864

Authors: César Rodríguez, Stefan Schwoon, Victor Khomenko 

Publication date: 28 June 2013

Published in: Application and Theory of Petri Nets and Concurrency (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-38697-8_3

Recommendations

• CONCUR 2005 – Concurrency Theory
• Merged processes: a new condensed representation of Petri net behaviour
• An algorithm for direct construction of complete merged processes
• Efficient unfolding of contextual Petri nets
• Efficient Contextual Unfolding

Mathematics Subject Classification ID

Data structures (68P05) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cited In (3)

• An algorithm for direct construction of complete merged processes
• Merging relations: a way to compact Petri nets' behaviors uniformly
• Untanglings: a novel approach to analyzing concurrent systems

This page was built for publication: Contextual merged processes

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