An Efficient Translation Method from Timed Petri Nets to Timed Automata
2012 ◽
Vol E95.A
(8)
◽
pp. 1402-1411
2010 ◽
Vol 16
(4)
◽
pp. 457-515
◽
Keyword(s):
2008 ◽
Vol 206
(1)
◽
pp. 73-107
◽
1995 ◽
Vol 115
(7)
◽
pp. 914-919
2013 ◽
Vol E96.A
(2)
◽
pp. 540-553
1986 ◽
Vol 5
(2)
◽
pp. 89-101
◽
Keyword(s):