• Home
  • Search
  • An abstract state machine semantics for discrete event simulation
  • Cite Icon4
  • https://doi.org/10.5555/3242181.3242239Copy DOI Icon

An abstract state machine semantics for discrete event simulation

  • Dec 3, 2017
  • Gerd Wagner
Show More
  • Abstract
  • Literature Map
  • Citations
  • Similar Papers
Abstract

We define an operational (transition system) semantics for the two most basic forms of Discrete Event Simulation (DES): event-based simulation (without objects) and object-event simulation. We show that under our operational semantics, DES models correspond to a certain form of abstract state machines (ASMs) such that the Future Event List (FEL) is part of the transition system state and the transition function is based on event routines. Unlike other formalisms proposed for DES (such as Petri Nets or DEVS), our ASM semantics takes all basic DES concepts (like event types and the FEL) into consideration and allows for expressive transition system states representing the objects, properties, relations and functions of the evolving possible worlds of a simulation run. As a direct formal semantics of DES, it provides a basis for comparing, and explaining design choices in, different DES approaches.

Similar Papers
  • Research Article
  • Citations1

The information age combat model: a vision for a discrete event simulation approach

  • Jan 01, 2017
  • International Journal of Simulation and Process Modelling
  • Shannon Bowling +3
  • Conference Article
  • Citations5

A hybrid approach of the standard clock method and event scheduling approach for general discrete event simulation

  • Jan 01, 1995
  • Chun-Hung Chen
  • Conference Article
  • Citations19

Extending discrete event simulation by adding an activity concept for business process modeling and simulation

  • Dec 13, 2009
  • Gerd Wagner +2
  • Research Article
  • Citations1

Improving Customer Service at Gas Stations Using Discrete Event Simulation Approach

  • Mar 21, 2025
  • ASM Science Journal
  • Nurul Nazihah Hawari +3
  • Research Article
  • Citations13

Manufacturing system reconfiguration towards sustainable production: a novel hybrid optimization methodology.

  • Oct 04, 2023
  • Environmental Science and Pollution Research
  • Reda Nujoom +2
  • Research Article

Discrete Event Simulation Approach for Pharmaceutical Industry Calibration Laboratory Service Digital Twin Model

  • Sep 24, 2024
  • Proceeding of International Conference on Science, Health, And Technology
  • Pitoyo Amrih +1
  • Conference Article
  • Citations31

Hybrid System Dynamics and Discrete Event Simulation for Construction Management

  • Jul 23, 2007
  • Sanghyun Lee +2
  • Conference Article
  • Citations57

Prospective healthcare decision-making by combined system dynamics, discrete-event and agent-based simulation

  • Dec 08, 2013
  • Anatoli Djanatliev +1
  • Book Chapter
  • Citations2

Modeling Operations of a Custom Hiring Center Using Agent Based Modeling and Discrete Event Simulation

  • Nov 17, 2018
  • Yatin Anil Jayawant +1
  • Research Article
  • Citations7

Comparison between discrete event simulation approach and various existing empirically-based models for estimation of TBM utilization

  • Mar 02, 2021
  • Tunnelling and Underground Space Technology
  • A Khetwal +3
  • Conference Article
  • Citations3

A multi-level approach to planning and scheduling resources for aviation training

  • Nov 29, 2015
  • Michael Johnstone +6
  • PDF
  • Research Article
  • Citations30

OPTIMIZING EXPERIMENTAL SIMULATION DESIGN FOR THE EMERGENCY DEPARTMENTS

  • Jan 01, 2020
  • Brazilian Journal of Operations & Production Management
  • Abdulkadir Atalan +1
  • Research Article
  • Citations9

COVID-19 Bed Management Using a Two-Step Process Mining and Discrete-Event Simulation Approach

  • Jul 01, 2024
  • IEEE Transactions on Automation Science and Engineering
  • Jules Le Lay +7
  • Research Article
  • Citations37

An integrated approach of discrete event simulation and a non-radial super efficiency data envelopment analysis for performance evaluation of an emergency department

  • Jun 01, 2023
  • Expert Systems with Applications
  • Mushtaq Taleb +3
  • Conference Article
  • Citations59

Integrating agent based modeling into a discrete event simulation

  • Dec 04, 2005
  • Benjamin Dubiel +1
Cactus Communications logo

Copyright 2026 Cactus Communications. All rights reserved.