On the use of hybrid Petri nets for control process safety: application to a steam-boilers network simulator | IEEE Conference Publication | IEEE Xplore