Research Article
Advanced Stochastic Petri Net Modeling with the Mercury Scripting Language
@INPROCEEDINGS{10.4108/eai.5-12-2017.2274712, author={Danilo Oliveira and Rubens Matos and Jamilson Dantas and Jo\"{a}o Ferreira and Bruno Silva and Gustavo Callou and Paulo Maciel and Andr\^{e} Brinkmann}, title={Advanced Stochastic Petri Net Modeling with the Mercury Scripting Language}, proceedings={11th EAI International Conference on Performance Evaluation Methodologies and Tools}, publisher={ACM}, proceedings_a={VALUETOOLS}, year={2018}, month={8}, keywords={generalized stochastic petri nets hierarchical modeling phase-type distribution discrete-event simulation}, doi={10.4108/eai.5-12-2017.2274712} }- Danilo Oliveira
Rubens Matos
Jamilson Dantas
João Ferreira
Bruno Silva
Gustavo Callou
Paulo Maciel
André Brinkmann
Year: 2018
Advanced Stochastic Petri Net Modeling with the Mercury Scripting Language
VALUETOOLS
ACM
DOI: 10.4108/eai.5-12-2017.2274712
Abstract
Formal models are widely used in performance and dependability studies of computational systems. Graphical modeling tools allow users to compose such models with ease, but they complicate the creation of models with a dynamic/complex structure, the hierarchical arrangement of different models, and the automatic execution of models with different parameter configurations. To overcome this problem, we created a scripting language for the Mercury tool that supports the combination of different modeling approaches (e.g., Stochastic Petri Nets and Reliability Block Diagrams) in a single project. In this paper, we focus on the extensions developed to improve the capabilities of Generalized Stochastic Petri net Modeling: substitution transitions, phase-type delays for timed transitions, support for nets with a variable structure, and event-based programming for simulation.
