Dynamically evolving concurrent information systems specification and validation: a component-based Petri nets proposal
2004 ◽
Vol 50
(2)
◽
pp. 117-173
◽
Keyword(s):
Keyword(s):
1993 ◽
pp. 185-290
◽
2017 ◽
Vol 17
(3)
◽
pp. 109-127
◽