A polynomial-time graph algorithm to decide liveness of some basic classes of bounded Petri nets

Author(s):  
Kamel Barkaoui ◽  
Michel Minoux
2010 ◽  
Vol 10 (2) ◽  
pp. 119-143 ◽  
Author(s):  
Daniel Cosmin Porumbel
Keyword(s):  

Author(s):  
Franz J. Brandenburg

1993 ◽  
Vol 29 (11) ◽  
pp. 1352-1360
Author(s):  
Keiko TAKAHASHI ◽  
Kiyohiko NAKAMURA ◽  
Atsunobu ICHIKAWA

Sign in / Sign up

Export Citation Format

Share Document