Linear Time Analysis of Properties of Conflict-Free and General Petri nets
| Year of publication: |
2010
|
|---|---|
| Authors: | Alimonti, Paola ; Feuerstein, Esteban ; Laura, Luigi ; Nanni, Umberto |
| Institutions: | Dipartimento di Ingegneria Informatica, Automatica e Gestionale "Antonio Ruberti", Facoltà di Ingegneria dell'Informazione Informatica e Statistica |
| Subject: | Petri nets | conflict-free Petri nets | Marked Graphs | coverability | liveness | bound-edness | directed hypergraphs | incremental algorithms |
| Extent: | application/pdf |
|---|---|
| Series: | DIS Technical Reports. - ISSN 2035-5750. |
| Type of publication: | Book / Working Paper |
| Notes: | Number 2010-09 |
| Source: |
Persistent link: https://www.econbiz.de/10010597755