Carlo Simon. Developing Software Controllers with Petri Nets and a Logic of Actions. In Proceedings of the 2001 IEEE International Conference on Robotics and Automation, ICRA 2001, May 21-26, 2001, Seoul, Korea. pages 58-63, IEEE, 2001.
Abstract is missing.