Pages that link to "Item:Q515678"
From MaRDI portal
The following pages link to Characterisation of the state spaces of marked graph Petri nets (Q515678):
Displaying 5 items.
- Sufficient conditions for the marked graph realisability of labelled transition systems (Q1623288) (← links)
- Bounded choice-free Petri net synthesis: algorithmic issues (Q1789066) (← links)
- Efficient synthesis of weighted marked graphs with circular reachability graph, and beyond (Q2032839) (← links)
- Presynthesis of bounded choice-free or fork-attribution nets (Q2304527) (← links)
- The Power of Prime Cycles (Q2822651) (← links)
