Design and implementation of a Petri net based toolkit for Ada tasking analysis

1990 ◽  
Vol 1 (4) ◽  
pp. 424-441 ◽  
Author(s):  
S.M. Shatz ◽  
K. Mai ◽  
C. Black ◽  
S. Tu
Keyword(s):  
Petri Net ◽  
Design And Implementation

Formal Modeling and Analysis of Collaborative Humanoid Robotics

2019 ◽  
pp. 1086-1108
Author(s):  
Yujian Fu ◽  
Zhijiang Dong ◽  
Xudong He
Keyword(s):  
Petri Net ◽  
Control Strategies ◽  
Formal Modeling ◽  
Humanoid Robotics ◽  
Modeling And Analysis ◽  
Agent Based ◽  
Design And Implementation ◽  
Simulation Results ◽  
And Control ◽  
Successful Collaboration

A humanoid robot is inherently complex due to the heterogeneity of accessory devices and to the interactions of various interfaces, which will be exponentially increased in multiple robotics collaboration. Therefore, the design and implementation of multiple humanoid robotics (MHRs) remains a very challenging issue. It is known that formal methods provide a rigorous analysis of the complexity in both design of control and implementation of systems. This article presents an agent-based framework of formal modeling on the design of communication and control strategies of a team of autonomous robotics, to attain the specified tasks in a coordinated manner. To ensure a successful collaboration of multiple robotics, this formal agent-based framework captures behaviors in Petri Net models and specifies collaboration operations in four defined operations. To validate the framework, a non-trivial soccer bot set was implemented and simulation results were discussed.

scholarly journals Modeling, Design, and Implementation of a Cloud Workflow Engine Based on Aneka

2014 ◽  
Vol 2014 ◽  
pp. 1-9 ◽  
Author(s):  
Jiantao Zhou ◽  
Chaoxin Sun ◽  
Weina Fu ◽  
Jing Liu ◽  
Lei Jia ◽  
...  
Keyword(s):  
Petri Net ◽  
Workflow Engine ◽  
Experimental Results ◽  
Cloud Environment ◽  
Design And Implementation

This paper presents a Petri net-based model for cloud workflow which plays a key role in industry. Three kinds of parallelisms in cloud workflow are characterized and modeled. Based on the analysis of the modeling, a cloud workflow engine is designed and implemented in Aneka cloud environment. The experimental results validate the effectiveness of our approach of modeling, design, and implementation of cloud workflow.

Software Engineering Based on Object Management Petri Net

2014 ◽  
Vol 519-520 ◽  
pp. 339-342
Author(s):  
Jian Hua Yang
Keyword(s):  
Information System ◽  
User Interface ◽  
Software Engineering ◽  
Petri Net ◽  
Management Information System ◽  
Management Information ◽  
Design And Implementation ◽  
Object Management ◽  
Integrate Analysis ◽  
Analysis Design

Object management Petri net technique is developed to integrate analysis, design and implementation for applications of management information system. Not only object concept is adopted to describe tokens in places, but also class inheritance and composition, user interface and complicate algorithm are represented by expanded transitions. Three kinds of work modes of object management Petri net are introduced to fulfill development, execution, and simulation of the net system.

Sign in / Sign up

Export Citation Format

Share Document