GreatSPN 1.7: Graphical editor and analyzer for timed and stochastic Petri nets
This paper describes the GreatSPN 1.7 package for the modeling, validation, and
performance evaluation of distributed systems using Generalized Stochastic Petri Nets and …
performance evaluation of distributed systems using Generalized Stochastic Petri Nets and …
[图书][B] Parallel and distributed simulation of discrete event systems
A Ferscha, SK Tripathi - 1998 - Citeseer
The achievements attained in accelerating the simulation of the dynamics of complex
discrete event systems using parallel or distributed multiprocessing environments are …
discrete event systems using parallel or distributed multiprocessing environments are …
[图书][B] Stochastic discrete event systems
A Zimmermann - 2007 - Springer
The behavior of many technical systems that are increasingly important in our every-day life
can be described by discrete states and state-changing events. Discrete event systems …
can be described by discrete states and state-changing events. Discrete event systems …
Large scale system design aided by modelling and DES simulation: A Petri net approach
U Arronategui, JÁ Bañares… - Software: Practice and …, 2024 - Wiley Online Library
The study of real discrete event systems requires the use of models to cope with complexity
and large scale. The only way to understand and analyse their behaviour prior to …
and large scale. The only way to understand and analyse their behaviour prior to …
[图书][B] Recent advances in learning automata
This book is written for computer engineers, scientists, and students studying/working in
reinforcement learning and artificial intelligence domains. The book collects recent …
reinforcement learning and artificial intelligence domains. The book collects recent …
Petri nets for the design and operation of manufacturing systems
Modern manufacturing systems pose a diversity of problems all along their life cycle which
are often treated with particular independent formalisms and techniques. Petri nets are a …
are often treated with particular independent formalisms and techniques. Petri nets are a …
Probabilistic adaptive direct optimism control in time warp
A Ferscha - Proceedings of the ninth workshop on Parallel and …, 1995 - dl.acm.org
In a distributed memory environment the communication overhead of Time Warp as induced
by the rollback procedure due to “overoptimistic” progression of the simulation is the …
by the rollback procedure due to “overoptimistic” progression of the simulation is the …
Estimating rollback overhead for optimism control in Time Warp
A Ferscha, J Luthi - Proceedings of Simulation Symposium, 1995 - ieeexplore.ieee.org
The main performance pitfall of the Time Warp distributed discrete event simulation (DDES)
protocol has been widely recognized to be the overoptimistic progression of event execution …
protocol has been widely recognized to be the overoptimistic progression of event execution …
Hierarchical reachability graph generation for Petri nets
P Buchholz, P Kemper - Formal Methods in System Design, 2002 - Springer
Reachability analysis is the most general approach to the analysis of Petri nets. Due to the
well-known problem of state-space explosion, generation of the reachability set and …
well-known problem of state-space explosion, generation of the reachability set and …
Model and simulation engines for distributed simulation of discrete event systems
JÁ Bañares, JM Colom - Economics of Grids, Clouds, Systems, and …, 2019 - Springer
The construction of efficient distributed simulation engines for discrete event systems (DES)
remains a challenge. The vast majority of simulations that are developed today are based on …
remains a challenge. The vast majority of simulations that are developed today are based on …