Development of real-time system specifications through the refinement of duration interval Petri nets
Keyword(s):
1995 ◽
Vol 21
(1)
◽
pp. 32-49
◽
Keyword(s):
2018 ◽
Vol 51
(4-6)
◽
pp. 333-345
Keyword(s):