|
|
Digital Library of the
European Council for Modelling and Simulation |
|
Title: |
Integrating Symmetries And Symbolic Enabling Test For Efficient
Simulation Of SWNs |
|
Authors: |
Lorenzo Capra |
|
Published in:
|
ECMS
2007 Proceedings Edited
by: Ivan Zelinka, Zuzana Oplatkova, Alessandra Orsoni ISBN:
978-0-9553018-2-7 Doi: 10.7148/2007 21st European
Conference on Modelling and Simulation, Prague, June
4-6, 2007 |
|
Citation
format: |
Capra, L. (2007). Integrating
Symmetries And Symbolic Enabling Test For Efficient Simulation Of SWNs. ECMS 2007 Proceedings edited by: I. Zelinka, Z. Oplatkova, A. Orsoni (pp. 521-528).
European Council for Modeling and Simulation. doi:10.7148/2007-0521. |
|
DOI: |
http://dx.doi.org/10.7148/2007-0521 |
|
Abstract: |
(Stochastic)
Colored Petri Nets are a for- malism widely used to
specify and analyze distributed discrete-event systems. Determining the set
of transi- tion color
instances enabled in a given marking is a basic task affecting analysis
techniques based on state-space exploration, model-checking, and especially
discrete- event simulation (the latter is an interesting alternative when
analytical solutions are unfeasible due to state- space explosion). An
algebraic approach to enabling test has been recently proposed as kernel for
efficient state-space exploration of SWN, a Stochastic CPN fla- vor retaining expressive
power. The approach is sym- bolic because it
directly manipulates arc functions by means of rewriting rules. What makes
interesting the SWN formalism is the ability of exploiting behavioral
system’s symmetries, thanks to structured color anno- tations.
This paper illustrates in a semi-formal way how the
symmetry-based technique typical of SWN can be profitably combined with the
SWN symbolic enabling test, giving rise to a fully symbolic simulation
kernel. An application example to a workflow model is presented. |
|
Full
text: |
|
