Results 1 to 10 of about 48,774 (262)
Introduction to discrete-event simulation [PDF]
Proceedings of the 18th conference on Winter simulation - WSC '86, 1986 In this article, we introduce the reader to discrete-event simulation. The concepts of system and model, system state, entities, attributes and delays are defined in the general context of simulation. Using these concepts, event-scheduling, process-interaction, and activity-scanning perspectives are briefly described.
Jerry Banks, John S. Carson II
openaire +1 more source
Parallel discrete event simulation with Erlang [PDF]
Proceedings of the 1st ACM SIGPLAN workshop on Functional high-performance computing, 2012 Discrete Event Simulation (DES) is a widely used technique in which the state of the simulator is updated by events happening at discrete points in time (hence the name). DES is used to model and analyze many kinds of systems, including computer architectures, communication networks, street traffic, and others. Parallel and Distributed Simulation (PADS)
L. Toscano +2 more
openaire +2 more sources
Parallel discrete event simulation [PDF]
Proceedings of the 21st conference on Winter simulation - WSC '89, 1989 Parallel discrete event simulation (PDES), sometimes called distributed simulation, refers to the execution of a single discrete event simulation program on a parallel computer. PDES has attracted a considerable amount of interest in recent years. From a pragmatic standpoint, this interest arises from the fact that large simulations in engineering ...
openaire +1 more source
Rapid modeling of field maintenance using discrete event simulation [PDF]
, 2011 Discrete event simulation has been applied to a wide range of applications areas due to its ability to represent stochastic systems over time. Maintenance, particularly field maintenance, is complex due to the interaction of different sub-systems of ...
Tiwari, Ashutosh +5 more
core +1 more source
Distributed discrete-event simulation [PDF]
ACM Computing Surveys, 1986 Traditional discrete-event simulations employ an inherently sequential algorithm. In practice, simulations of large systems are limited by this sequentiality, because only a modest number of events can be simulated. Distributed discrete-event simulation (carried out on a network of processors with asynchronous message-communicating capabilities) is ...
openaire +1 more source
Conflict-preserving abstraction of discrete event systems using annotated automata
, 2012 This paper proposes to enhance compositional verification of the nonblocking property of discrete event systems by introducing annotated automata. Annotations store nondeterministic branching information, which would otherwise be stored in extra states ...
Malik, Robi, Ware, Simon
core +1 more source
Generalised verification of the observer property in discrete event systems
, 2012 The observer property is an important condition to be satisfied by abstractions of Discrete Event Systems (DES) models. This paper presents a generalised version of a previous algorithm which tests if an abstraction of a DES obtained through natural ...
Pena, Patricia N. +4 more
core +1 more source
, 2006 An integrated environment, Supremica, for verification, synthesis and simulation of discrete event systems is presented. The basic model in Supremica is finite automata where the transitions have an associated event together with a guard condition and an
\uc5kesson, Knut +8 more
core +1 more source
Discrete event simulation in Pascal with SIMTOOLS [PDF]
Proceedings of the 18th conference on Winter simulation - WSC '86, 1986 In recent years a great deal of research effort has been devoted to improving simulation software. Products currently available for discrete event simulation include GPSS/H, SIMSCRIPT II.5, SIMULA, SLAM, SIMAN, SIMPAS, PASSIM, and ASSE, to name a few. Some of these products (SIMSCRIPT II.5 and SIMPAS, for example) use process-oriented approaches.
openaire +2 more sources
Discrete Event Simulation of Hybrid Systems [PDF]
SIAM Journal on Scientific Computing, 2004 Summary: This paper describes the quantization-based integration methods and extends their use to the simulation of hybrid systems. Using the fact that these methods approximate ordinary differential equations (ODEs) and differential algebraic equations (DAEs) by discrete event systems, it is shown how hybrid systems can be approximated by pure ...
openaire +2 more sources