The following pages link to (Q3929063):
Displayed 3 items.
- Nets, sequential components and concurrency relations (Q797994) (← links)
- Serial failure diagnosis of a distributed processing system by Petri nets (Q1921220) (← links)
- Deadlocks and traps in Petri nets as Horn-satisfiability solutions and some related polynomially solvable problems (Q2641226) (← links)