Pages that link to "Item:Q5712276"
From MaRDI portal
The following pages link to Lectures on Concurrency and Petri Nets (Q5712276):
Displaying 8 items.
- Characterisation of the state spaces of marked graph Petri nets (Q515678) (← links)
- Reduction rules for reset/inhibitor nets (Q847264) (← links)
- Soundness-preserving reduction rules for reset workflow nets (Q1007883) (← links)
- The Power of Prime Cycles (Q2822651) (← links)
- Process Discovery Using Localized Events (Q2941158) (← links)
- Parameterized Complexity of Synthesizing b-Bounded (m, n)-T-Systems (Q3297771) (← links)
- Distributed Control of Discrete-Event Systems: A First Step (Q4909348) (← links)
- Discovering Block-Structured Process Models from Incomplete Event Logs (Q5166758) (← links)
