Using the Time Petri Net Formalism for Specification, Validation, and Code Generation in Robot-Control Applications.
Luis MontanoFrancisco José García IzquierdoJosé Luis VillarroelPublished in: Int. J. Robotics Res. (2000)
Keyphrases
- code generation
- petri net
- robot control
- application development
- formal specification
- mobile robot
- software development
- petri net model
- modeling language
- manufacturing systems
- model driven
- autonomous robots
- rapid prototyping
- colored petri nets
- software reuse
- fuzzy petri net
- subsumption architecture
- pid controller
- design patterns
- service composition
- metamodel
- ims ld
- service oriented
- data processing
- object oriented
- knowledge representation