Modeling and performance analysis using extended fuzzy-timing Petri nets for networked virtual environments

2000 ◽  
Vol 30 (5) ◽  
pp. 737-756 ◽  
Author(s):  
Y. Zhou ◽  
T. Murata ◽  
T.A. DeFanti
Keyword(s):  
Performance Analysis ◽  
Petri Nets ◽  
Virtual Environments ◽  
Networked Virtual Environments ◽  
And Performance

scholarly journals Modeling and Performance Analysis of Satellite Network Moving Target Defense System with Petri Nets

2021 ◽  
Vol 13 (7) ◽  
pp. 1262
Author(s):  
Leyi Shi ◽  
Shanshan Du ◽  
Yifan Miao ◽  
Songbai Lan
Keyword(s):  
Performance Analysis ◽  
Petri Nets ◽  
Performance Optimization ◽  
Stochastic Petri Nets ◽  
Satellite Network ◽  
Moving Target ◽  
Defense System ◽  
Moving Target Defense ◽  
Active Defense ◽  
And Performance

With the development of satellite communication networks and the increase of satellite services, security problems have gradually become some of the most concerning issues. Researchers have made great efforts, including conventional safety methods such as secure transmission, anti-jamming, secure access, and especially the new generation of active defense technology represented by MTD. However, few scholars have theoretically studied the influence of active defense technique on the performance of satellite networks. Formal modeling and performance analysis have not been given sufficient attention. In this paper, we focus on the performance evaluation of satellite network moving target defense system. Firstly, two Stochastic Petri Nets (SPN) models are constructed to analyze the performance of satellite network in traditional and active defense states, respectively. Secondly, the steady-state probability of each marking in SPN models is obtained by using the isomorphism relation between SPN and Markov Chains (MC), and further key performance indicators such as average time delay, throughput, and the utilization of bandwidth are reasoned theoretically. Finally, the proposed two SPN models are simulated based on the PIPE platform. In addition, the effect of parameters on the selected performance indexes is analyzed by varying the values of different parameters. The simulation results prove the correctness of the theoretical reasoning and draw the key factors affecting the performance of satellite network, which can provide an important theoretical basis for the design and performance optimization of the satellite network moving target defense system.

scholarly journals Modeling and performance analysis of a closed-loop supply chain using first-order hybrid Petri nets

2016 ◽  
Vol 8 (5) ◽  
pp. 168781401664958 ◽  
Author(s):  
Imane Outmal ◽  
Ali Kamrani ◽  
Emad S Abouel Nasr ◽  
Mohammed Alkahtani
Keyword(s):  
Supply Chain ◽  
Performance Analysis ◽  
Petri Nets ◽  
Closed Loop ◽  
Closed Loop Supply Chain ◽  
First Order ◽  
Hybrid Petri Nets ◽  
And Performance

Modeling and Performance Analysis of a Flexible PCB Assembly Station Using Petri Nets

1991 ◽  
Vol 113 (4) ◽  
pp. 410-416 ◽  
Author(s):  
MengChu Zhou ◽  
Ming C. Leu
Keyword(s):  
Performance Analysis ◽  
Petri Nets ◽  
Petri Net ◽  
Printed Circuit Boards ◽  
Control Structure ◽  
Mutual Exclusion ◽  
System Control ◽  
Pcb Assembly ◽  
And Performance ◽  
Equipment Utilization

This paper presents Petri net modeling and performance analysis of a flexible workstation for automatic assembly of printed circuit boards. Concentrating on the operational aspects, we construct ordinary and temporal Petri net models for an existing flexible workstation (AT&T FWS-200). These models enable designers to have better understanding of concurrency, synchronization, mutual exclusion, and sequential relations involved in the system control from the graphical representations of Petri nets. From the models the performance analysis of system operations under different settings can be conducted, with the results used to help designers choose the best operational setting based on system parameters such as component insertion time and robot failure rate. We focus our performance analysis on two cases: one is the Petri net with parallel mutual exclusion based control structure, and the other is the control structure based on the marked graph. The analysis results lead to the conclusion that the former structure has better performance in terms of throughput and equipment utilization. The approaches as presented in this paper can be generalized and applied to many other applications of multi-robot assembly systems.

Sign in / Sign up

Export Citation Format

Share Document