Modeling and Analysis of Enterprise Cloud Bus Using a Petri Net Based Approach

2017 ◽  
pp. 17-36
Author(s):  
Gitosree Khan ◽  
Sabnam Sengupta ◽  
Anirban Sarkar
Keyword(s):  
Petri Net ◽  
Modeling And Analysis

scholarly journals Reliability Modeling and Analysis of Reactor Protect System Based on Petri Net

2021 ◽  
Vol 1754 (1) ◽  
pp. 012059
Author(s):  
Dongliang Zhang ◽  
Kaiwen Zhang ◽  
Liufeng Wang ◽  
Qinqin Hong
Keyword(s):  
Petri Net ◽  
Reliability Modeling ◽  
Modeling And Analysis

scholarly journals Modeling and analysis of mission thread of weapon system of systems based on O-PPN

2021 ◽  
Vol 39 (1) ◽  
pp. 197-207
Author(s):  
Yuqi Chen ◽  
Tingxue Xu ◽  
Xiaotong Zhao ◽  
Cheng Lu
Keyword(s):  
Petri Net ◽  
Success Probability ◽  
Failure Criteria ◽  
Performance Degradation ◽  
Operation Performance ◽  
Modeling And Analysis ◽  
Reliability Parameters ◽  
Mission Success ◽  
Definition Of ◽  
Equipment System

Aiming at the problem that the current WSoS mission modeling and analysis methods are difficult to describe the property of multi-state of each equipment system, combining with Petri net and Markov process, an O-PPN based mission thread modeling and analysis method is proposed in this paper. Based on the definition of WSoS, the mission of WSoS is formally described. To improve the traditional Petri net, an operation performance Petri net (O-PPN) is constructed, in order to meet the modeling needs of the general mission thread of the WSoS; and aiming at the problems of the performance degradation of the equipment system and the possible "ahead of time" state, the performance degradation model of the equipment system based on Markov is constructed. The corresponding state probability set is obtained by inputting the reliability parameters of each equipment system. And according to the requirements of each operation in the mission thread for the performance level of each equipment system and combined with the mission success and failure criteria of the combat task and operation, the mission success probability of the whole WSoS is calculated. Finally, the feasibility of the proposed method is verified by the simulation of the case.

Modeling and analysis of vapour cloud explosions knock-on events by using a Petri-net approach

2018 ◽  
Vol 108 ◽  
pp. 188-195 ◽  
Author(s):  
Jianfeng Zhou ◽  
Genserik Reniers
Keyword(s):  
Petri Net ◽  
Modeling And Analysis ◽  
Vapour Cloud

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 Using Petri Net for Modeling and Analysis of a Encryption Scheme for Wireless Sensor Networks

10.5772/7508 ◽  
2010 ◽  
Author(s):  
Hugo Rodriguez ◽  
Ruben Carvajal ◽  
Beatriz Ontiveros ◽  
Ismael Soto ◽  
Rolando Carrasco
Keyword(s):  
Wireless Sensor Networks ◽  
Sensor Networks ◽  
Petri Net ◽  
Wireless Sensor ◽  
Encryption Scheme ◽  
Modeling And Analysis
Sign in / Sign up

Export Citation Format

Share Document