Pages that link to "Item:Q797285"
From MaRDI portal
The following pages link to The residue of vector sets with applications to decidability problems in Petri nets (Q797285):
Displaying 24 items.
- On selective unboundedness of VASS (Q355513) (← links)
- Safe states in banker-like resource allocation problems (Q580968) (← links)
- Reachability solution characterization of parametric real-time systems (Q703513) (← links)
- A taxonomy of fairness and temporal logic problems for Petri nets (Q805257) (← links)
- On minimal elements of upward-closed sets (Q1019726) (← links)
- Problems concerning fairness and temporal logic for conflict-free Petri nets (Q1121023) (← links)
- A unified approach for deciding the existence of certain petri net paths (Q1184737) (← links)
- Deciding a class of path formulas for conflict-free Petri nets (Q1364130) (← links)
- A well-structured framework for analysing Petri net extensions (Q1763373) (← links)
- Linear control of live marked graphs (Q1868050) (← links)
- On computing the supremal right-closed control invariant subset of a right-closed set of markings for an arbitrary Petri net (Q2058574) (← links)
- Controlling a random population (Q2200817) (← links)
- Maximally permissive deadlock avoidance for resource allocation systems with R/W-locks (Q2348357) (← links)
- Optimal Bounds for Multiweighted and Parametrised Energy Games (Q2842640) (← links)
- ON YEN'S PATH LOGIC FOR PETRI NETS (Q3016216) (← links)
- The Ideal Approach to Computing Closed Subsets in Well-Quasi-orderings (Q3295146) (← links)
- Minimal Cost Reachability/Coverability in Priced Timed Petri Nets (Q3617740) (← links)
- Residuated frames with applications to decidability (Q4913809) (← links)
- (Q5028432) (← links)
- (Q5111627) (← links)
- Forward analysis for WSTS. III: Karp-Miller trees (Q5114831) (← links)
- (Q5136306) (← links)
- Constrained properties, semilinear systems, and Petri nets (Q6162100) (← links)
- Resilience of well-structured graph transformation systems (Q6649537) (← links)
