Generation of synchronizing state machines from a transition system: a region-based approach
From MaRDI portal
Publication:6100077
DOI10.34768/amcs-2023-0011MaRDI QIDQ6100077
Viktor Teren, Jordi Cortadella, Tiziano Villa
Publication date: 21 June 2023
Published in: International Journal of Applied Mathematics and Computer Science (Search for Journal in Brave)
Cites Work
- Unnamed Item
- Unnamed Item
- Pseudo-Boolean optimization
- Petri net synthesis
- Partial (set) 2-structures. II: State spaces of concurrent systems
- Analysis of safeness in a Petri net-based specification of the control part of cyber-physical systems
- Decomposing Process Mining Problems Using Passages
- PBLib – A Library for Encoding Pseudo-Boolean Constraints into CNF
- Deriving Petri nets from finite transition systems
- Free Choice Petri Nets
- Process Model Discovery: A Method Based on Transition System Decomposition
- New Region-Based Algorithms for Deriving Bounded Petri Nets
This page was built for publication: Generation of synchronizing state machines from a transition system: a region-based approach