The Möbius Framework and Its Implementation
IEEE Transactions on Software Engineering
Lectures on Petri Nets I: Basic Models, Advances in Petri Nets, the volumes are based on the Advanced Course on Petri Nets
A Simple and Fast Algorithm to Obtain All Invariants of a Generalized Petri Net
Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets
Evaluating the Dependability of a LEO Satellite Network for Scientific Applications
QEST '05 Proceedings of the Second International Conference on the Quantitative Evaluation of Systems
Quality assessment, verification, and validation of modeling and simulation applications
WSC '04 Proceedings of the 36th conference on Winter simulation
The Daikon system for dynamic detection of likely invariants
Science of Computer Programming
Verification and validation of simulation models
Proceedings of the 40th Conference on Winter Simulation
Phrase based browsing for simulation traces of network protocols
Proceedings of the 40th Conference on Winter Simulation
Automated Trace Analysis of Discrete-Event System Models
IEEE Transactions on Software Engineering
| Hi-index | 0.00 |
Modern modeling frameworks allow us to generate and simulate discrete event system models of great complexity. The use of existing environments, and the use, calibration, and configuration of existing submodels to build large models in a productive manner can rise the question what really happens in a simulation run for a particular experiment. In this paper, we describe ways to make use of invariant analysis techniques that originate from the theory of Petri nets, to be applied in the broader setting of invariant identification from simulation traces. The key idea is to provide feedback to a modeler on constraints that hold for the observed behavior of a model in a simulation run.