Local contact state space generation using colored Petri nets
Keyword(s):
2014 ◽
pp. 381-408
Keyword(s):
Keyword(s):
2014 ◽
Vol 35
(11)
◽
pp. 2608-2614