Coloured Petri Nets and CPN Tools for modelling and validation of concurrent systems
2007 ◽
Vol 9
(3-4)
◽
pp. 213-254
◽
Keyword(s):
2014 ◽
Vol 598
◽
pp. 638-642
Keyword(s):
Keyword(s):
2014 ◽
Vol 631-632
◽
pp. 755-760
Keyword(s):
Keyword(s):