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.

scholarly journals On the performance potential of speculative execution based on branch and value prediction

2003 ◽  
Vol 16 (1) ◽  
pp. 83-91
Author(s):  
Pece Mitrevski ◽  
Marjan Gusev
Keyword(s):  
Petri Nets ◽  
Dynamic Behavior ◽  
Discrete Event Simulation ◽  
Discrete Event ◽  
Stochastic Petri Nets ◽  
Speculative Execution ◽  
Performance Potential ◽  
Value Prediction ◽  
Event Simulation ◽  
Instructions Per Cycle

Fluid Stochastic Petri Nets are used to capture the dynamic behavior of an ILP processor, and discrete-event simulation is applied to assess the performance potential of predictions and speculative execution in boosting the performance of ILP processors that fetch, issue, execute and commit a large number of instructions per cycle.

Modeling Power of Stochastic Petri Nets for Simulation

1988 ◽  
Vol 2 (4) ◽  
pp. 435-459 ◽  
Author(s):  
Peter J. Haas ◽  
Gerald S. Shedler
Keyword(s):  
Petri Nets ◽  
State Space ◽  
Discrete Event Simulation ◽  
Discrete Event ◽  
The State ◽  
Stochastic Petri Nets ◽  
Event Simulation ◽  
Transition Mechanism ◽  
Modeling Power ◽  
Semi Markov Process

Generalized semi-Markov processes and stochastic Petri nets have been proposed as general frameworks for a discrete event simulation on a countable state space. The two formal systems differ, however, with respect to the clock setting (event scheduling) mechanism, the state transition mechanism, and the form of the state space. We obtain conditions under which the marking process of a stochastic Petri net “mimics” a generalized semi-Markov process in the sense that the two processes (and their underlying general state-space Markov chains) have the same finite dimensional distributions. The results imply that stochastic Petri nets have at least the modeling power of generalized semiMarkov processes for discrete event simulation.

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.

Sign in / Sign up

Export Citation Format

Share Document