Robotic System Specification Methodology Based on Hierarchical Petri Nets
Maksym Figat , Cezary Zieliński
AbstractThe 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, agents’ subsystems, behaviours of subsystems, behaviour pattern, and finally inter-subsystem communication and transition function calculation. Blocking and non-blocking communication modes are taken into account. The robotic system structure and its activities are specified using the developed Robotic System HPN Tool. It facilitates modeling HPNs, verification of the activities of a robotic system through the HPN simulation and automatic code generation of an equivalent ROS based system. The specification methodology is presented on a simple example of designing a controller for the LWR4+ robot.
|Journal series||IEEE Access, ISSN 2169-3536|
|Publication size in sheets||0.3|
|Keywords in English||Robotic system specification methodology, Robotic system design methodology, Communication model, Hierarchical Petri Net|
|ASJC Classification||; ;|
|Project||[2017/25/N/ST7//00900] Robot system design methodology based on a formal specification. Project leader: Figat Maksym,
, Phone: 7649, start date 27-03-2018, planned end date 26-03-2020, IA/NCN/\prelud/figat, Implemented
Automatic code generation of a robot controller collecting table-tennis balls based on a formal specifica- tion expressed by means of a hierarchical Petri net. Project leader: Figat Maksym, , Phone: 7649, start date 08-07-2019, end date 31-12-2019, Dziek/Figat/2019, Completed
|Score||= 100.0, 17-06-2020, ArticleFromJournal|
|Publication indicators||= 0; = 0; : 2018 = 1.718; : 2018 = 4.098 (2) - 2018=4.54 (5)|
|Citation count*||1 (2020-09-27)|
* presented citation count is obtained through Internet information analysis and it is close to the number calculated by the Publish or Perish system.