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):
Displayed 11 items.
- 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 YEN'S PATH LOGIC FOR PETRI NETS (Q3016216) (← links)
- Minimal Cost Reachability/Coverability in Priced Timed Petri Nets (Q3617740) (← links)