Pages that link to "Item:Q1216050"
From MaRDI portal
The following pages link to A decidability theorem for a class of vector-addition systems (Q1216050):
Displaying 22 items.
- Linear time analysis of properties of conflict-free and general Petri nets (Q620942) (← links)
- A polynomial time algorithm to decide pairwise concurrency of transitions for 1-bounded conflict-free Petri nets (Q809611) (← links)
- Some complexity bounds for problems concerning finite and 2-dimensional vector addition systems with states (Q1096388) (← links)
- An \(O(n^{1.5})\) algorithm to decide boundedness for conflict-free vector replacement systems (Q1097037) (← links)
- Performance evaluation of concurrent systems using conflict-free and persistent Petri nets (Q1108799) (← links)
- Completeness results for conflict-free vector replacement systems (Q1113674) (← links)
- Problems concerning fairness and temporal logic for conflict-free Petri nets (Q1121023) (← links)
- The decidability of persistence for vector addition systems (Q1144929) (← links)
- Algebraic structure of some stochastic discrete event systems, with applications (Q1180360) (← links)
- QRT FIFO automata, breadth-first grammars and their relations (Q1183576) (← links)
- A unified approach for deciding the existence of certain petri net paths (Q1184737) (← links)
- Normal and sinkless Petri nets (Q1208921) (← links)
- Commutative grammars (Q1236889) (← links)
- Complexity of some problems in Petri nets (Q1238999) (← links)
- Deciding a class of path formulas for conflict-free Petri nets (Q1364130) (← links)
- 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)
- Synthesis and reengineering of persistent systems (Q2257983) (← links)
- State space axioms for T-systems (Q2340253) (← links)
- (Q4190159) (← links)
- REGULAR STATE MACHINES (Q4526933) (← links)
