A uniform approach to true-concurrency and interleaving semantics for Petri nets
Theoretical Computer Science. Bd. 206. H. 1-2. Amsterdam: Elsevier 1998 S. 219 - 256
Erscheinungsjahr: 1998
ISBN/ISSN: 0304-3975
Publikationstyp: Zeitschriftenaufsatz
Sprache: Englisch
Doi/URN: 10.1016/S0304-3975(97)00169-2
| Geprüft: | Bibliothek |
Autoren
Priese, Lutz (Autor)
Wimmel, Harro (Autor)
