Formalizing institutions as executable petri nets for distributed robotic systems.
José N. PereiraPorfírio SilvaPedro U. LimaAlcherio MartinoliPublished in: ECAL (2011)
Keyphrases
- production system
- petri net
- robotic systems
- concurrent processes
- petri net model
- manufacturing systems
- discrete event systems
- control architecture
- colored petri nets
- mobile robot
- distributed systems
- vision system
- concurrent systems
- fuzzy petri net
- process algebra
- service composition
- stochastic petri net
- holonic manufacturing systems
- ims ld
- imitation learning
- robotic manipulator
- real time
- formal specification
- cellular automata
- multi agent systems