|
Title
|
|
|
|
Discrete event system specification modeling and simulation
| |
|
Author
|
|
|
|
| |
|
Abstract
|
|
|
|
| Discrete Event System Specification (DEVS) is a popular formalism for modeling complex dynamic systems using a discrete-event abstraction. At this abstraction level, a timed sequence of pertinent "events" input to a system (or internal timeouts) cause instantaneous changes to the state of the system. Main advantages of DEVS are its rigorous formal definition and its support for modular composition. This tutorial introduces the Classic DEVS formalism in a bottom-up fashion, using a simple traffic light example. The syntax and operational semantics of atomic (i. e., non-hierarchical) models are introduced first. Coupled (i. e., hierarchical) models are introduced to structure and couple Atomic models. We continue to actual applications of DEVS, for example in performance analysis of queueing systems. All examples are presented with the tool PythonPDEVS, though this introduction is equally applicable to other DEVS tools. We conclude with further reading on DEVS theory, DEVS variants, and DEVS tools. |
| |
|
Language
|
|
|
|
English
| |
|
Source (journal)
|
|
|
|
Winter Simulation Conference
| |
|
Source (book)
|
|
|
|
Proceedings of the Spring Simulation Conference 2018, April 15-18, 2018, Baltimore, VS
| |
|
Publication
|
|
|
|
IEEE
,
2018
| |
|
ISSN
|
|
|
|
0891-7736
| |
|
ISBN
|
|
|
|
978-1-5386-6572-5
| |
|
DOI
|
|
|
|
10.1109/WSC.2018.8632372
| |
|
Volume/pages
|
|
|
|
(2018)
, p. 162-176
| |
|
ISI
|
|
|
|
000461414100016
| |
|
Full text (Publisher's DOI)
|
|
|
|
| |
|
Full text (publisher's version - intranet only)
|
|
|
|
| |
|