مرکز منطقه ای اطلاع رساني علوم و فناوري - The recursive equivalence of the reachability problem and the liveness problem for Petri nets and vector addition systems

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

Link To Document :