scientific article; zbMATH DE number 3469993
From MaRDI portal
Publication:4054643
Cited in
(5)- Petri nets for modeling of dynamic systems -- a survey
- Parallel permit grammars and some graph representations of Petri nets
- Data flow analysis of asynchronous systems using infinite abstract domains
- Methods and means of parallel processing of information
- Deadlocks and traps in Petri nets as Horn-satisfiability solutions and some related polynomially solvable problems
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4054643)
