Pages that link to "Item:Q1623288"
From MaRDI portal
The following pages link to Sufficient conditions for the marked graph realisability of labelled transition systems (Q1623288):
Displaying 10 items.
- Characterisation of the state spaces of marked graph Petri nets (Q515678) (← links)
- Plain, bounded, reversible, persistent, and \(k\)-marked Petri nets have marked graph reachability graphs (Q1708655) (← links)
- Efficient synthesis of weighted marked graphs with circular reachability graph, and beyond (Q2032839) (← links)
- Synthesis of weighted marked graphs from constrained labelled transition systems: a geometric approach (Q2032916) (← links)
- Synthesis of Petri nets with restricted place-environments: classical and parameterized (Q2117176) (← links)
- State space axioms for T-systems (Q2340253) (← links)
- The Power of Prime Cycles (Q2822651) (← links)
- (Q4807466) (← links)
- Synthesis of Pure and Impure Petri Nets with Restricted Place-environments: Complexity Issues (Q5044398) (← links)
- Boundedness and conservativeness of augmented marked graphs (Q5294132) (← links)