An algorithm for computing S-invariants for high level Petri Nets:
Gespeichert in:
Bibliographische Detailangaben
Hauptverfasser: Lin, Chuang (VerfasserIn), Zhang, Tong (VerfasserIn)
Format: Buch
Sprache:English
Veröffentlicht: Koblenz-Landau Univ. 1991
Schriftenreihe:Fachberichte Informatik 1991,15
Beschreibung:11 S.

Es ist kein Print-Exemplar vorhanden.

Fernleihe Bestellen Achtung: Nicht im THWS-Bestand!