Abstract
The standard interleaving semantics, by introducing all possible interleavings of all concurrent actions, creates choices and dependencies in the final transition system that do not really reflect a branching of the system behaviour. This is especially problematic for a simulation tool as the user of such a tool has to be bothered with making irrelevant choices. In this paper we use one particular causality based model, the bundle event structure model, in which the creation of unwanted choices and dependencies is avoided by moving towards a partially ordered set transition system. This forms the basics of an interactive simulation tool called SLICE. Simulations with this tool show that we can greatly improve upon simulation in an interleaving framework in terms of number of states.
Chapter PDF
Bibliography
R. Langerak. Event structures for the design and transformation in lotos. In Fourth International Conference on Formal Description Techniques, pages 271–287, 1991.
R. Langerak. Bundle event structures. In M. Diaz and R. Groz, editors, Fifth International Conference on Formal Description Techniques. North-Holland, 1992.
A. Valmari. Stubborn sets for reduced state space generation. In Advances in Petri Nets, volume 483 of Lecture Notes in Computer Science, pages 491–515. IEEE Computer Society Press, Springer-Verlag, 1991.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1995 IFIP International Federation for Information Processing
About this chapter
Cite this chapter
Botma, B., Langerak, R. (1995). Simulator for Lotos to study the Independence and Causality of Events. In: Hogrefe, D., Leue, S. (eds) Formal Description Techniques VII. IFIP Advances in Information and Communication Technology. Springer, Boston, MA. https://doi.org/10.1007/978-0-387-34878-0_16
Download citation
DOI: https://doi.org/10.1007/978-0-387-34878-0_16
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-5041-2881-0
Online ISBN: 978-0-387-34878-0
eBook Packages: Springer Book Archive