Petri nets for modeling and coordination of robotic tasks. - Pedro U. Lima; Hugo Grácio; Vasco Veiga; Anders Karlsson (SMC, 1998)