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.
@inproceedings{Simon01:0,
title = {Developing Software Controllers with Petri Nets and a Logic of Actions},
author = {Carlo Simon},
year = {2001},
tags = {logic},
researchr = {https://researchr.org/publication/Simon01%3A0},
cites = {0},
citedby = {0},
pages = {58-63},
booktitle = {Proceedings of the 2001 IEEE International Conference on Robotics and Automation, ICRA 2001, May 21-26, 2001, Seoul, Korea},
publisher = {IEEE},
isbn = {0-7803-6578-X},
}