Pages that link to "Item:Q3401931"
From MaRDI portal
The following pages link to Separability in Conflict-Free Petri Nets (Q3401931):
Displayed 5 items.
- A decomposition theorem for finite persistent transition systems (Q1015394) (← links)
- Sufficient conditions for the marked graph realisability of labelled transition systems (Q1623288) (← links)
- A Note on Persistent Petri Nets (Q3507378) (← links)
- Decomposition Theorems for Bounded Persistent Petri Nets (Q3510855) (← links)
- Concurrency, Synchronization, and Conflicts in Petri Nets (Q3602798) (← links)