Logical development of a Petri net deadlock analysis program
1994 ◽
Vol 23
(1)
◽
pp. 55-89
◽
Keyword(s):
2010 ◽
Vol 83
(4)
◽
pp. 675-688
◽
2014 ◽
Vol 602-605
◽
pp. 1336-1339
1996 ◽
Vol 7
(12)
◽
pp. 1307-1322
◽