DocumentCode

2203627

Title

The recursive equivalence of the reachability problem and the liveness problem for Petri nets and vector addition systems

Author

Hack, Michel

fYear

1974

fDate

14-16 Oct. 1974

Firstpage

156

Lastpage

164

Keywords

Computer hacking; Fires; Petri nets; System recovery; Vectors;

fLanguage

English

Publisher

ieee

Conference_Titel

Switching and Automata Theory, 1974., IEEE Conference Record of 15th Annual Symposium on

Conference_Location

USA

ISSN

0272-4847

Type

conf

DOI

10.1109/SWAT.1974.28

Filename

4569771