On the liveness problem of 1-place-unbounded Petri nets

Proceedings of the IEEE International Conference on Systems, Man and Cybernetics

Volumn 4, Issue , 1997, Pages 3221-3226

  Jeng, Mu Der ^a   Peng, Mao Yu ^a  

^a NATIONAL TAIWAN OCEAN UNIVERSITY   (Taiwan)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COMPUTATIONAL COMPLEXITY; PROBLEM SOLVING; SET THEORY; TREES (MATHEMATICS);

AUGMENTED REACHABILITY TREE (ART);

PETRI NETS;

EID: 0031359669     PISSN: 08843627     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (5)