M.-K. Ghabri P. Ladet Controlled Continuous Petri Nets. 788-793 1994 conf/icra/1994 ICRA db/conf/icra/icra1994-1.html#GhabriL94 http://dx.doi.org/10.1109/ROBOT.1994.351392