The following pages link to (Q3967058):
Displayed 14 items.
- Proving nonreachability by modulo-invariants (Q672866) (← links)
- Structure theory of equal conflict systems (Q672877) (← links)
- Testing for unboundedness of fifo channels (Q685434) (← links)
- A taxonomy of fairness and temporal logic problems for Petri nets (Q805257) (← links)
- An introduction to FIFO nets - monogeneous nets: a subclass of FIFO nets (Q1059399) (← links)
- A logical approach of Petri net languages (Q1083861) (← links)
- Problems concerning fairness and temporal logic for conflict-free Petri nets (Q1121023) (← links)
- Reduction and covering of infinite reachability trees (Q1173681) (← links)
- Petri nets for modeling of dynamic systems -- a survey (Q1317176) (← links)
- Petri nets for the design and operation of manufacturing systems (Q1375146) (← links)
- Deadlocks and traps in Petri nets as Horn-satisfiability solutions and some related polynomially solvable problems (Q2641226) (← links)
- Normalization of place/transition-systems preserves net behaviour (Q3991291) (← links)
- Composition/décomposition de réseaux de Pétri et de leurs graphes de couverture (Q4362279) (← links)
- Une nouvelle transformation des réseaux de Petri généralisés : L'abstraction généralisée (Q5479839) (← links)