A polynomial-time algorithm to decide liveness of bounded free choice nets part of DEMON (Design methods based on nets), Esprit Basic Research Action 3148 - Working Group 3: Algebra and proof methods
Gespeichert in:
1. Verfasser: | |
---|---|
Weitere Verfasser: | |
Format: | UnknownFormat |
Veröffentlicht: |
Zaragoza, Spain
circa 1989
|
Schriftenreihe: | [Research report.] Departamento de Ingeniería Eléctrica e Informática. [Universidad de] Zaragoza
[89-06] |
Schlagworte: | |
Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
Beschreibung: | 29 S |
---|