Petri net plans: a formal model for representation and execution of multi-robot plans.
Vittorio A. ZiparoLuca IocchiDaniele NardiPier Francesco PalamaraHugo CostelhaPublished in: AAMAS (1) (2008)
Keyphrases
- formal model
- petri net
- multi robot
- plan execution
- predicate calculus
- mobile robot
- path planning
- fuzzy petri net
- dynamic environments
- process model
- multi robot exploration
- search and rescue
- stochastic petri net
- real time
- robot teams
- uncertain environments
- multi robot systems
- multiple robots
- web service composition
- robotic systems
- fuzzy logic