New Region-Based Algorithms for Deriving Bounded Petri Nets

DOI10.1109/TC.2009.131zbMath1368.68259WikidataQ56892020 ScholiaQ56892020MaRDI QIDQ5280804

Jordi Cortadella, Josep Carmona, Mike Kishinevsky

Publication date: 27 July 2017

Published in: IEEE Transactions on Computers (Search for Journal in Brave)

Mathematics Subject Classification ID

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

Related Items (12)

Process Mining Reloaded: Event Structures as a Unified Representation of Process Models and Event Logs ⋮ Automated Repair of Process Models Using Non-local Constraints ⋮ Projection approaches to process mining using region-based techniques ⋮ Generation of synchronizing state machines from a transition system: a region-based approach ⋮ Process mining with token carried data ⋮ Process Model Discovery: A Method Based on Transition System Decomposition ⋮ Bounded choice-free Petri net synthesis: algorithmic issues ⋮ Petri Net Synthesis for Restricted Classes of Nets ⋮ Discovering Object-centric Petri Nets ⋮ k-Bounded Petri Net Synthesis from Modal Transition Systems. ⋮ Automated Repair of Process Models with Non-local Constraints Using State-Based Region Theory ⋮ Discovering stochastic process models by reduction and abstraction

This page was built for publication: New Region-Based Algorithms for Deriving Bounded Petri Nets