Robotic System Specification Methodology Based on Hierarchical Petri Nets
The paper presents a methodology of creating a Hierarchical Petri Net modelling the activities of a multi-agent robotic system. The methodology follows the separation of concerns approach to the design of robot control software, thus five layers resulted, representing: the system composed of agents,...
Main Authors: | , |
---|---|
Format: | Article |
Language: | English |
Published: |
IEEE
2020-01-01
|
Series: | IEEE Access |
Subjects: | |
Online Access: | https://ieeexplore.ieee.org/document/9063423/ |