Model-based design and testing of decisional autonomy and cooperation in cyber-physical systems
F Saglietti, D Föhrweiser… - 2015 41st Euromicro …, 2015 - ieeexplore.ieee.org
This article presents a study on the benefits offered by Coloured Petri Nets in capturing and
separating permanent and temporary behavioural information and on the systematic support …
separating permanent and temporary behavioural information and on the systematic support …