A uniform approach to true-concurrency and interleaving semantics for Petri nets
Theoretical computer science. the journal of the EATCS. Bd. 206. H. 1. Amsterdam [u.a.]: Elsevier 1998 S. 219 - 256
Erscheinungsjahr: 1998
ISBN/ISSN: 0304-3975
Publikationstyp: Zeitschriftenaufsatz
| Geprüft | Bibliothek |
