Linear Time Analysis of Properties of Conflict-Free and General Petri nets

Paola Alimonti (), Esteban Feuerstein, Luigi Laura () and Umberto Nanni ()
Additional contact information
Paola Alimonti: Dipartimento di Informatica e Sistemistica "Antonio Ruberti" Sapienza, Universita' di Roma
Esteban Feuerstein: Departamento de Computacion, Universidad de Buenos Aires
Luigi Laura: Dipartimento di Informatica e Sistemistica "Antonio Ruberti" Sapienza, Universita' di Roma
Umberto Nanni: Dipartimento di Informatica e Sistemistica "Antonio Ruberti" Sapienza, Universita' di Roma

No 2010-09, DIS Technical Reports from Department of Computer, Control and Management Engineering, Universita' degli Studi di Roma "La Sapienza"

Keywords: Petri nets; conflict-free Petri nets; Marked Graphs; coverability; liveness; bound-edness; directed hypergraphs; incremental algorithms (search for similar items in EconPapers)
Date: 2010
References: View complete reference list from CitEc
Citations: View citations in EconPapers (1)

Downloads: (external link)
http://www.dis.uniroma1.it/~bibdis/RePEc/aeg/wpaper/2010-09.pdf (application/pdf)

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:aeg:wpaper:2010-9

Access Statistics for this paper

More papers in DIS Technical Reports from Department of Computer, Control and Management Engineering, Universita' degli Studi di Roma "La Sapienza" Contact information at EDIRC.
Bibliographic data for series maintained by Antonietta Angelica Zucconi ( this e-mail address is bad, please contact ).