11th EAI International Conference on Performance Evaluation Methodologies and Tools

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
Danilo Oliveira1,*, Rubens Matos2, Jamilson Dantas1, João Ferreira1, Bruno Silva1, Gustavo Callou3, Paulo Maciel1, André Brinkmann4
  • 1: Federal University of Pernambuco
  • 2: Federal Institute of Education, Science, and Technology of Sergipe
  • 3: Federal Rural University of Pernambuco
  • 4: Johannes Gutenberg University Mainz
*Contact email: dmo4@cin.ufpe.br

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.