Petri net models of robotic tasks

Proceedings - IEEE International Conference on Robotics and Automation

Volumn 4, Issue , 2002, Pages 4059-4064

  Milutinovic, Dejan ^a   Lima, Pedro ^a  

^a INSTITUTO SUPERIOR TÉCNICO   (Portugal)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER VISION; FEEDBACK; MANIPULATORS; MOBILE ROBOTS; PETRI NETS;

DISCRETE EVENT SYSTEMS; ROBOTIC TASK MODEL;

ROBOTICS;

EID: 0036060658     PISSN: 10504729     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (9)

1. Petri nets for modeling of dynamic systems
2. On the validation of robotics control systems, part I: High level specification and formal verification
3. Petri nets for modeling and coordination of robotic tasks
4. Using the time Petri net formalism for specification, validation, and code generation in robot-control applications
5. Performance modelling of automated manufacturing systems
6. Task translation and integration specification in intelligent machines