An Introduction to Discrete Event Modeling Formalisms

1998 ◽  
pp. 87-105
Author(s):  
Fernando J. Barros ◽  
Bernard P. Zeigler
Keyword(s):  
Discrete Event ◽  
Event Modeling ◽  
Modeling Formalisms

Multi-Level Modeling in Systems Biology by Discrete Event Approaches (Mehrebenen-Modellierung in der Systembiologie innerhalb diskret-ereignisbasierter Ansätze)

2006 ◽  
Vol 48 (3) ◽  
Author(s):  
Adelinde Uhrmacher ◽  
Céline Kuttler
Keyword(s):  
Systems Biology ◽  
Biological Network ◽  
Discrete Event ◽  
Model Design ◽  
E Coli ◽  
Event Modeling ◽  
Tryptophan Operon ◽  
Π Calculus ◽  
Multi Level ◽  
Modeling Formalisms

SummaryThe creation of models for heterogeneous and complex cellular networks is a central goal of Systems Biology. When modeling a biological network, one may wish to account for certain aspects in detail, while a bird's eye perspective would seem more appropriate for other parts. Multi-level models combine such overview and detail representations. We illustrate multi-level modeling with gene regulation of the Tryptophan operon in E. coli. We review three discrete event modeling formalisms and discuss model design therein: DEVS, STATECHARTS, and stochastic π-CALCULUS. This introductory presentation already reveals some of their respective virtues and shortcomings.

Discrete-event modeling by system dynamics method

2021 ◽  
Author(s):  
A. N. Medvedev ◽  
V. N. Timokhin ◽  
Yu. A. Nelyubina
Keyword(s):  
System Dynamics ◽  
Discrete Event ◽  
Event Modeling ◽  
Dynamics Method

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

scholarly journals A Comparison Of State Transition And Discrete Event Modeling Approaches For Antiplatelet Use In The Secondary Prevention Of Thrombotic Events After Myocardial Infarction (MI)

2015 ◽  
Vol 18 (3) ◽  
pp. A5
Author(s):  
I. Ozer-Stillman ◽  
J.D. Whalen ◽  
L.D. Bash ◽  
M. Du ◽  
M. Oguz ◽  
...  
Keyword(s):  
Myocardial Infarction ◽  
Secondary Prevention ◽  
State Transition ◽  
Discrete Event ◽  
Event Modeling ◽  
Modeling Approaches

Hybrid simulation model for navigation performance evaluation of the Three Gorges–Gezhouba Dams under novel regulations

SIMULATION ◽  
2022 ◽  
pp. 003754972110725
Author(s):  
Yu Zhang ◽  
Hongwei Tian ◽  
Ran Li ◽  
Xiaolei Liang ◽  
Jun Li
Keyword(s):  
Simulation Model ◽  
Yangtze River ◽  
Discrete Event ◽  
Hybrid Simulation ◽  
Three Gorges ◽  
The Yangtze River ◽  
Validity And Reliability ◽  
Wet Season ◽  
Event Modeling ◽  
The Three Gorges

As an important project on the golden waterway of the Yangtze River in China, the Three Gorges–Gezhouba Dams (TGGD) plays a pivotal role in the construction of the Yangtze River Economic Belt. To improve the efficiency and safety of ship traffic, some novel navigation regulations have been implemented that change the TGGD operation obviously. For example, a piecewise control strategy proposed in the regulations is applied to control the traffic flow of ships under a sectional manner. With the implementation of these regulations, how to understand the dynamic effects of new changes on TGGD has been an important problem. The purpose of this work is to evaluate the navigation performance of the TGGD via a data- and event-driven hybrid simulation model developed by multi-agent and discrete-event modeling theories. The model simulates the three significant navigable scenarios inherent in the actual operating environment: dry season, wet season, and flood season, reflecting the real situations. The input data come from the statistical analysis of the actual navigation data provided by the Three Gorges Navigation Administration. The validity and reliability of the model are verified by comparing the output results with actual data. Moreover, a set of test experiments are designed to explore the TGGD navigation limit and analyze the key factors that restrict the navigation capacity of the TGGD system. The work is expected to provide a certain decision support for the future cooperative scheduling optimization of the TGGD.

Sign in / Sign up

Export Citation Format

Share Document