Reachibility in live and safe free-choice Petri nets is NP-complete

Bibliographische Detailangaben

1. Verfasser:	Esparza, Javier (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	München Techn. Univ., Inst. für Informatik 1996
Schriftenreihe:	TUM I 9621 SFB-Bericht A 96,12
Schlagworte:	Forschungsbericht
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!