Hierarchical modelling and verification based on Petri net components with multiple import interfaces
2008 ◽
Vol 41
(2)
◽
pp. 3606-3611
◽
2017 ◽
Vol 26
(102)
◽
pp. 78-87
◽
2009 ◽
Vol E92-A
(11)
◽
pp. 2717-2722
◽
2017 ◽
Vol 5
(12)
◽
pp. 290-295
2014 ◽
Vol 13
(4)
◽
pp. 979-990
2018 ◽
Vol 51
(4-6)
◽
pp. 333-345
2010 ◽
Vol 33
(5)
◽
pp. 900-907
◽