Modeling and analysis of timed Petri nets using heaps of pieces
1999 ◽
Vol 44
(4)
◽
pp. 683-697
◽
1999 ◽
Vol 37
(11-12)
◽
pp. 191-206
◽
2001 ◽
Vol 17
(5)
◽
pp. 562-575
◽
Keyword(s):