scholarly journals Predictors of Transition in Smoking Stages in Iranian Adolescents: A Probabilistic Discrete Event System Model

2017 ◽  
Vol In Press (In Press) ◽  
Author(s):  
Ahmad Khosravi ◽  
Kourosh Holakouie-Naieni ◽  
Mohammad Ali Mansournia ◽  
Mahmood Mahmoodi ◽  
Ali Akbar Pouyan
Keyword(s):  
Discrete Event ◽  
Discrete Event System ◽  
System Model ◽  
Event System

scholarly journals Research on Modeling and Simulating of Discrete Event System Based on Petri Net

2012 ◽  
Vol 4 ◽  
pp. 80-85 ◽  
Author(s):  
Xing Long Pan ◽  
Guo He ◽  
Chao Jie Zhang ◽  
Ting Feng Ming ◽  
Xiao Chuan Wang
Keyword(s):  
Control System ◽  
Petri Net ◽  
Discrete Event ◽  
Discrete Event System ◽  
System Model ◽  
Artificial System ◽  
Event System ◽  
Logical Control ◽  
Marine Diesel ◽  
Control System Model

A framework of modeling and simulating a typical artificial system is proposed based on discrete event system and Petri net. Firstly, the system model is constructed based on discrete event system theory. Secondly, the model is described and analyzed by using Petri net. Then, the simulation procedures on Matlab platform are presented in detail. The proposed framework is applied to modeling and simulating a logical control system of a marine diesel engine. The simulation results indicate that this logical control system model can be constructed by the given framework and the proposed method is effective in simulating and analyzing this kind of artificial system.

scholarly journals Petri Net Based Modeling and Property Analysis of Distributed Discrete Event System

2019 ◽  
Vol 8 (12) ◽  
pp. 3887-3891
Keyword(s):  
Petri Net ◽  
Discrete Event Systems ◽  
Discrete Event ◽  
Discrete Event System ◽  
System Model ◽  
Communication Model ◽  
Computation Model ◽  
Science And Engineering ◽  
Modeling And Analysis ◽  
Event System

PetriNet is an imperative and handy language used for modeling and analysis of discrete event system (DES) i.e. a dynamic system that progress according to unexpected occurrence of events at probably unknown, asymmetrical interval of time. This concept provides an interface for analysis of behavioral and structural properties like liveness, boundedness and cover-ability tree of discrete event systems. These properties are not only necessary for proving the correctness of system model but also helpful in checking the deadlock conditions in a system. As a graph Petri Net is used for modeling and mathematically, it can be used for analysis of the system. In this paper, we have first modeled various DES like computation model and communication model using Petri Nets and then analyzed their properties using MATLAB. These DES models have applications in almost every domain of science and engineering.

Sign in / Sign up

Export Citation Format

Share Document