Title :
The Mobius execution policy
Author :
Deavours, Daniel D. ; Sanders, William H.
Author_Institution :
Coordinated Sci. Lab., Illinois Univ., Urbana, IL, USA
Abstract :
Mobius is an extensible framework and tool for performance and dependability modeling, and supports multiple modeling formalisms and solvers. As a framework, Mobius must be sufficiently general to capture the various formalism behaviors. Specifically, the Mobius execution policy must be flexible enough to accommodate the execution policies of all formalisms implemented in the framework. We know of no existing execution policy which is capable of doing this and meeting the many other goals of the framework. We present the Mobius execution policy that addresses these needs. In developing the policy, we have generalized the various preemption policies and made all aspects of the execution policy state-dependent, which has never before been considered. Because all aspects may be state-dependent, we also had to relax the assumption that work proceeds at a constant rate; this is also novel. Finally, we show that within the context of Mobius, the extra structure and overhead needed to implement a particular behavior can largely be avoided except when that behavior is present in a model
Keywords :
Petri nets; discrete event simulation; discrete event systems; performance evaluation; Mobius execution policy; dependability modeling; discrete event systems; extensible framework; generalized stochastic Petri nets; performance modeling; preemption policies; state dependent aspects; Context modeling; Discrete event systems; Petri nets; Resumes; Stochastic processes;
Conference_Titel :
Petri Nets and Performance Models, 2001. Proceedings. 9th International Workshop on
Conference_Location :
Aachen
Print_ISBN :
0-7695-1248-8
DOI :
10.1109/PNPM.2001.953363