• search hit 7 of 111
Back to Result List

An Abstract State Machine Semantics For Discrete Event Simulation

  • 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 func-tion 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. 1

Export metadata

Additional Services

Search Google Scholar
Metadaten
Author: Gerd WagnerGND
URL:https://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=8247830
ISBN:978-1-5386-3428-8
Title of the source (English):Simulation for EducationProceedings of the Winter Simulation Confrence 2017
Publisher:IEEE
Place of publication:Piscataway
Editor: Wai Kin Victor Chan, Andrea D'Ambrogio, Gregory Zacharewicz, Navonil Mustafee, Gabriel Wainer, E. Page
Document Type:Conference Proceeding
Language:English
Year of publication:2017
First Page:762
Last Page:773
Faculty/Chair:Fakultät 1 MINT - Mathematik, Informatik, Physik, Elektro- und Informationstechnik / FG Internettechnologie
Einverstanden ✔
Diese Webseite verwendet technisch erforderliche Session-Cookies. Durch die weitere Nutzung der Webseite stimmen Sie diesem zu. Unsere Datenschutzerklärung finden Sie hier.