Liveness in bounded Petri nets which are covered by T-invariants
Koblenz: Inst. für Informatik, Univ. 1993 22 S. (Fachberichte Informatik ; 5/93)
Erscheinungsjahr: 1993
Publikationstyp: Buch
Sprache: Englisch
| Geprüft | Bibliothek |
Autoren
Lautenbach, Kurt (Autor)
Ridder, Hanno (Autor)
