The following pages link to (Q4054643):
Displaying 5 items.
- Parallel permit grammars and some graph representations of Petri nets (Q1134528) (← links)
- Methods and means of parallel processing of information (Q1155954) (← links)
- Petri nets for modeling of dynamic systems -- a survey (Q1317176) (← links)
- Data flow analysis of asynchronous systems using infinite abstract domains (Q2233447) (← links)
- Deadlocks and traps in Petri nets as Horn-satisfiability solutions and some related polynomially solvable problems (Q2641226) (← links)
