Petri net models for algebraic theories of concurrency
Volume II: Parallel Languages on PARLE: Parallel Architectures and Languages Europe
Structural and behavioral equivalence of simulation models
ACM Transactions on Modeling and Computer Simulation (TOMACS)
Transforming Petri nets into event graph models
WSC '94 Proceedings of the 26th conference on Winter simulation
Model diagnosis using the condition specification: from conceptualization to implementation
WSC '94 Proceedings of the 26th conference on Winter simulation
Incorporating support for model execution within the condition specification
Transactions of the Society for Computer Simulation International
Simulation modeling with event graphs
Communications of the ACM
Theory of Modeling and Simulation
Theory of Modeling and Simulation
Model specification and analysis for discrete event simulation
Model specification and analysis for discrete event simulation
Experiences creating three implementations of the repast agent modeling toolkit
ACM Transactions on Modeling and Computer Simulation (TOMACS)
| Hi-index | 0.00 |
This paper revisits a technique for determining structural equivalence between simulation models. Specifically brought under scrutiny are the restrictions for applying a rule that expands a compound event vertex when converting a simulation graph model (SGM) into an extended SGM. By checking for inter-dependencies of state variables within the vertex, one can ensure that the logical structure of the original model is preserved during expansion, allowing for "out-of-order" execution of events - thus permitting a greater class of models to be deemed structurally (and behaviorally) equivalent. An example is provided of establishing structural equivalence between two discrete event simulations derived from the same model, which benefits from the revised expansion rule.