Abstract

AbstractThe paper presents a systematic methodology for modeling multi-robot production tasks based on extended Petri nets. To overcome some difficulties in the modeling of complex discrete event systems with a large number of elements in basic Petri nets, extended high-level Petri nets are introduced based on condition-event Petri nets. The high-level net representation of the conceptual task flows and detailed control functions with a top-down refinement methodology can provide more synthetic specifications for consistent management and distributed coordination of multi-robot systems.KeywordsMultiple robot systemshierarchical modelingdiscrete event netsdistributed coordination

Full Text
Published version (Free)

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call