Modeling and Performance Analysis of User Behavior Authentication Using Stochastic Petri Nets

2012 ◽  
Author(s):  
Chen Ya-rui ◽  
Tian Li-qin
Keyword(s):  
Performance Analysis ◽  
Petri Nets ◽  
User Behavior ◽  
Stochastic Petri Nets ◽  
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 Performance Analysis of Honeypot with Petri Nets

Information ◽  
2018 ◽  
Vol 9 (10) ◽  
pp. 245 ◽  
Author(s):  
Leyi Shi ◽  
Yang Li ◽  
Haijie Feng
Keyword(s):  
Performance Evaluation ◽  
Performance Analysis ◽  
Petri Nets ◽  
Detection System ◽  
Stochastic Petri Nets ◽  
Active Defense ◽  
Evaluation Scheme ◽  
And Performance ◽  
Set Up ◽  
Theoretical Inference

As one of the active defense technologies, the honeypot deceives the latent intruders to interact with the imitated systems or networks deployed with security mechanisms. Its modeling and performance analysis have not been well studied. In this paper, we propose a honeypot performance evaluation scheme based on Stochastic Petri Nets (SPN). We firstly set up performance evaluation models for three types of defense scenarios (i.e., firewall; firewall and Intrusion Detection System (IDS); firewall, IDS and honeypot) based on SPN. We then theoretically analyze the SPN models by constructing Markov Chains (MC), which are isomorphic to the models. With the steady state probabilities based on the MC, the system performance evaluation is done with theoretical inference. Finally, we implement the proposed three SPN models on the PIPE platform. Five parameters are applied to compare and evaluate the performance of the proposed SPN models. The analysis of the probability and delay of three scenarios shows that the simulation results validate the effectiveness in security enhancement of the honeypot under the SPN models.

Modeling and Performance Analysis for Cluster Tools Based on SPN

2012 ◽  
Vol 190-191 ◽  
pp. 111-114
Author(s):  
Xiu Hong Zheng
Keyword(s):  
Performance Analysis ◽  
Petri Nets ◽  
Performance Measures ◽  
Scheduling Algorithm ◽  
Process Approach ◽  
Stochastic Petri Nets ◽  
Firing Rates ◽  
Cluster Tools ◽  
Serial Process ◽  
And Performance

For analysis the performance of cluster tools, Stochastic Petri nets model was used to describe the serial process procedure of cluster tools and the operation sequence of the robot. The firing rate of transition represents the frequency of activities. In order to improve the scalability of the model, the modular approach is used to model. Firstly the sub-models of tool’s modules were developed. Then according to the process procedure, all the sub-models were combined to construct a Petri nets model. Finally, the firing rates are added to every transition. Markov process approach was used to analyze model. Some performance measures equation are deduced, such as the throughput, the utilization of process chamber, the utilization of the robot and the wafer residency rate in process chamber. Petri nets models and performance measures equation developed in paper can assist performance analysis and verify the effectiveness of scheduling algorithm.

scholarly journals Modelling and Performance Analysis of Electric Car-Sharing Systems Using Petri Nets

2020 ◽  
Vol 170 ◽  
pp. 03001 ◽  
Author(s):  
A. Hamroun ◽  
K. Labadi ◽  
M. Lazri
Keyword(s):  
Petri Nets ◽  
Simulation Analysis ◽  
Discrete Event ◽  
Stochastic Petri Nets ◽  
Car Sharing ◽  
Event Simulation ◽  
Electric Car ◽  
Bike Sharing ◽  
And Performance ◽  
Charging Stations

Car sharing systems emerged as a new answer to mobility challenges in smart and sustainable cities. Despite their apparent success, design and exploitation of such systems raise crucial strategic and operational challenges. To help planners and decision makers, simulation, analysis and optimization models are unavoidable. Based on the formal modelling and analysis power of stochastic Petri nets, this paper proposes a discrete event simulation model for electric car sharing systems for performance and analysis purposes, taking into account their complex dynamic behaviour, organization and parameters including capacities of the stations, battery and energy availability, locations of charging stations and also their car maintenance activities, not negligible compared to the case of bike-sharing systems.

Sign in / Sign up

Export Citation Format

Share Document