Dynamic monitoring approach for verification of control software of robot using synchronized Petri nets.
Weijun ZhangJianjun YuanWei ZhangPublished in: ROBIO (2010)
Keyphrases
- petri net
- control software
- petri net model
- colored petri nets
- concurrent systems
- manufacturing systems
- contract net protocol
- mobile robot
- control system
- fuzzy petri net
- service composition
- real time
- state machines
- dynamic environments
- discrete event systems
- discrete dynamical systems
- workflow process
- stochastic petri net
- production process
- model checking
- web services
- dynamic behaviors
- control method
- distributed systems
- expert systems
- neural network