A polynomial-time graph algorithm to decide liveness of some basic classes of bounded Petri nets
2010 ◽
Vol 10
(2)
◽
pp. 119-143
◽
2006 ◽
pp. 227-236
◽
2011 ◽
Vol 10
(4)
◽
pp. 856-862
◽
1991 ◽
Vol 38
(2)
◽
pp. 71-76
◽
2020 ◽
Vol 50
(10)
◽
pp. 3592-3597
◽
Keyword(s):
1993 ◽
Vol 29
(11)
◽
pp. 1352-1360
2020 ◽
Vol 62
(5)
◽
pp. 737-750
Keyword(s):