Reachibility in live and safe free-choice Petri nets is NP-complete:
Gespeichert in:
Bibliographische Detailangaben
Beteilige Person: Esparza, Javier 1964- (VerfasserIn)
Format: Buch
Sprache:Nichtbestimmte Sprache
Veröffentlicht: München SFB 342 1996
Schriftenreihe:Sonderforschungsbereich Methoden und Werkzeuge für die Nutzung Paralleler Rechnerarchitekturen <München>: [SFB-Bericht / A] 1996,12
Umfang:13, 10 S.
Paper/Kapitel scannen lassen

Handapparate (nicht verfügbar)

Bestandsangaben von Handapparate (nicht verfügbar)
Signatur: 0834 IB.182
Lageplan
Exemplar 1 Dauerhaft ausgeliehen Ausgeliehen