Differential Petri nets: representing continuous systems in a discrete-event world

1998 ◽  
Vol 43 (4) ◽  
pp. 573-579 ◽  
Author(s):  
I. Demongodin ◽  
N.T. Koussoulas
Keyword(s):  
Petri Nets ◽  
Discrete Event ◽  
Continuous Systems

Decentralized Diagnosis of Discrete-Event Systems Using Labeled Petri Nets

2013 ◽  
Vol 43 (6) ◽  
pp. 1477-1485 ◽  
Author(s):  
Maria Paola Cabasino ◽  
Alessandro Giua ◽  
Andrea Paoli ◽  
Carla Seatzu
Keyword(s):  
Petri Nets ◽  
Discrete Event Systems ◽  
Discrete Event ◽  
Event Systems ◽  
Decentralized Diagnosis

Observer based on-line fault diagnosis of continuous systems modeled as Petri nets

2010 ◽  
Vol 49 (4) ◽  
pp. 587-595 ◽  
Author(s):  
K. Renganathan ◽  
Vidhyacharan Bhaskar
Keyword(s):  
Fault Diagnosis ◽  
Petri Nets ◽  
Continuous Systems ◽  
On Line

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 Combined approach architecture development to simulation modeling of systems with parallelism

2021 ◽  
Vol 4 (4(112)) ◽  
pp. 74-82
Author(s):  
Oksana Suprunenko
Keyword(s):  
Petri Nets ◽  
Dynamic Properties ◽  
Discrete Event ◽  
Structural Similarity ◽  
Integral Model ◽  
Combined Approach ◽  
Dynamic Simulations ◽  
Holistic Model ◽  
Event Modeling ◽  
Analytical Tools

Paradigms and graphical-analytical tools for building simulation tools and forming the architecture of a combined approach to studying the dynamic properties of systems with parallelism are described. An extension of the formal language of Petri nets is presented, which has greater modeling power than WF nets. The properties of hierarchical Petri nets are used to synthesize a holistic model. Discrete-event modeling and modeling of dynamic systems, which allow reflecting the quantitative and qualitative characteristics of the elements of the systems under study, served as the basis for the combined approach to the simulation of systems with parallelism. On their basis, graphic-analytical tools are proposed that provide the ability to describe the modeled system, adhering to the principle of structural similarity. They have dynamic simulations that make it easy to visually analyze and correct the model. Also, the proposed toolkit provides for the analysis of the dynamic properties of the model, which makes it possible to identify accumulated phenomena that can lead to unpredictability of the system’s functioning. A conceptual model for the synthesis and analysis of systems with parallelism is proposed, which provides for the construction of the components of the model based on the architecture. Their step-by-step analysis and the formation of an integral model of the software system are carried out using a network representation, according to the matrix description of which invariants are calculated. The analysis of invariants allows one to obtain the dynamic properties of the model and determine the localization of structures that lead to critical situations when they are detected. The architecture of the combined approach to the simulation of systems with parallelism is built, which provides the study of their dynamic properties to improve the reliability of the functioning of software systems

Sign in / Sign up

Export Citation Format

Share Document