Robotic System Specification Methodology Based on Hierarchical Petri Nets
نویسندگان
چکیده
منابع مشابه
specification and verification of medical monitoring system using petri‑nets
to monitor the patient behavior, data are collected from patient’s body by a medical monitoring device so as to calculate the output using embedded software. incorrect calculations may endanger the patient’s life if the software fails to meet the patient’s requirements. accordingly, the veracity of the software behavior is a matter of concern in the medicine; moreover, the data collected from t...
متن کاملAutomated Code Generation from Petri Nets Based System Specification
The effectiveness of Petri nets for the modelling of reactive systems is demonstrated through the use of a class of non-autonomous hierarchical high-level Petri nets, named by Hierarchical Reactive Petri Nets. The translation between the Petri net model and executable code is presented and shown to be simple and direct allowing a smooth two-way automatic translation process between specificatio...
متن کاملModeling Complex System Using T-subnet based Hierarchical Petri Nets
Net compression technologies are widely researched to avoid the problem of state explosion. Current researches of transition refinement and subnet abstraction mainly paid attention to preserve different attributes during the transformation, usually led to very strict conditions for the subnet, so that the application of these technologies was limited. Aiming to provide the same service and inte...
متن کاملRobotic Tasks Modeling and Analysis Based on Petri Nets∗
This paper proposes a method of defining and analysing robotic tasks using Petri Nets. Both the robot behaviors and environment are modelled using Generalized Stochastic Petri Nets (GSPNs). Each action is modelled separately and composed with others to provide a complete task execution. The use of Petri Nets allows the qualitative and quantitative analysis of the task execution.
متن کاملHierarchical, Reconfigurable Petri Nets
Hierarchical Petri nets allow a more abstract view whereas reconfigurable Petri nets model dynamic structural adaptation. In this contribution we present the combination of reconfigurable Petri nets and hierarchical Petri nets yielding an hierarchical structure for reconfigurable Petri nets. Hierarchies are established by substituting transitions by subnets. These subnets are themselves reconfi...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IEEE Access
سال: 2020
ISSN: 2169-3536
DOI: 10.1109/access.2020.2987099