Coordination specification for CIRSSE robotic platform system using Petri net transducers.
Fei-Yue WangMichael MittmannGeorge N. SaridisPublished in: J. Intell. Robotic Syst. (1994)
Keyphrases
- petri net
- robotic platform
- colored petri nets
- reactive systems
- mobile robot
- petri net model
- sequence diagrams
- discrete event systems
- manufacturing systems
- multi agent systems
- service composition
- ims ld
- fuzzy petri net
- web service composition
- process model
- minimally invasive
- contract net protocol
- expert systems
- formal specification
- concurrent systems
- image data