Danjiang Zhu, Shuzhen Yao, Ji Wu. Petri nets-based method for component-interaction related hazard identification in computer-controlled systems. In 15th IEEE International Conference on Networking, Sensing and Control, ICNSC 2018, Zhuhai, China, March 27-29, 2018. pages 1-6, IEEE, 2018. [doi]
Abstract is missing.