Talks and Poster Presentations (with Proceedings-Entry):
Franz Preyser, B. Heinzl, W. Kastner:
"RPDEVS: Revising the Parallel Discrete Event System Specification";
Talk: 9th Vienna International Conference on Mathematical Modelling (MATHMOD 2018),
Wien;
2018-02-21
- 2018-02-23; in: "Proceedings of the 9th Vienna International Conference on Mathematical Modeling",
IFAC-PapersOnLine,
51/2
(2018),
ISSN: 2405-8963;
269
- 274.
English abstract:
In this work, we present a Revised Parallel DEVS (RPDEVS) formalism. The Classic Discrete Event System Specification (DEVS) and Parallel DEVS (PDEVS) formalisms do not support modelling of ´true´ mealy behaviour, i.e. reacting to an input message immediately with an output message. Instead, such behaviour has to be modelled via Transitory states and multiple state updates. This not only increases model complexity, it also impedes reusability of model components in different contexts.
RPDEVS enhances PDEVS with the capability to model mealy behaviour directly. Hence, the output function λ can access the input bag. This introduces some challenges regarding the simulation algorithm which we will take a look at.
Further, the terms algebraic loop and illegitimate model will be discussed in the context of RPDEVS. It is shown that RPDEVS models which are free of algebraic loops are also legitimate.
Finally, it will be demonstrated that like Classic DEVS and PDEVS, also RPDEVS provides closure under coupling.
Keywords:
Discrete-event systems, Mathematical models, Modelling, Simulation, DEVS, PDEVS, RPDEVS, Algebraic loop, Transitory state, Mealy behaviour
"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)
http://dx.doi.org/10.1016/j.ifacol.2018.03.042
Electronic version of the publication:
https://publik.tuwien.ac.at/files/publik_276126.pdf
Related Projects:
Project Head Wolfgang Kastner:
ASPeCT