Contextual merged processes

DOI10.1007/978-3-642-38697-8_3MaRDI QIDQ5300864zbMATH OpenOpenAlexFDO

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

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)

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

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)