Developing Software Controllers with Petri Nets and a Logic of Actions.

Carlo Simon Developing Software Controllers with Petri Nets and a Logic of Actions. 58-63 2001 conf/icra/2001 ICRA db/conf/icra/icra2001.html#Simon01