Security-Preserving Multi-Robot Path Planning for Boolean Specification Tasks Using Labeled Petri Nets.
Weijie ShiZhou HeZiyue MaNing RanXiang YinPublished in: IEEE Control. Syst. Lett. (2023)
Keyphrases
- petri net
- robot path planning
- colored petri nets
- state machines
- petri net model
- discrete event systems
- reactive systems
- manufacturing systems
- route planning
- sequence diagrams
- concurrent systems
- path planning
- fuzzy petri net
- access control
- stochastic petri net
- state machine
- formal specification
- workflow process
- robotic systems
- vision system