The following pages link to (Q3696527):
Displaying 7 items.
- Performance evaluation of Petri nets centralized implementation. The execution time controller (Q539493) (← links)
- A sufficient condition for the liveness of weighted event graphs (Q1014950) (← links)
- Performance evaluation of concurrent systems using conflict-free and persistent Petri nets (Q1108799) (← links)
- State equations and equivalent transformations for timed Petri nets (Q1280882) (← links)
- Petri nets for modeling of dynamic systems -- a survey (Q1317176) (← links)
- The basic cyclic scheduling problem with linear precedence constraints (Q1917250) (← links)
- Deadlocks and traps in Petri nets as Horn-satisfiability solutions and some related polynomially solvable problems (Q2641226) (← links)