Weijun Zhang, Jianjun Yuan, Wei Zhang. Dynamic monitoring approach for verification of control software of robot using synchronized Petri nets. In 2010 IEEE International Conference on Robotics and Biomimetics, ROBIO 2010, Tianjin, China, December 14-18, 2010. pages 850-855, IEEE, 2010. [doi]
Abstract is missing.