EAI Endorsed Transactions on Industrial Networks and Intelligent Systems (Nov 2016)

TiPeNeSS: A Timed Petri Net Simulator Software with Generally Distributed Firing Delays

  • Ádám Horváth,
  • András Molnár

DOI
https://doi.org/10.4108/eai.24-8-2015.2261343
Journal volume & issue
Vol. 3, no. 8

Abstract

Read online

Performance analysis can be carried out in several ways, especially in case of Markovian models. In order to interpret high level of abstraction, we often use modeling tools like timed Petri nets (TPNs). Although some subclasses of TPNs (e.g. stochastic Petri nets (SPNs) [17, 19]) canbe handled analytically, a general timed Petri net is hard to evaluate via numerical analysis. However, the simulation of SPNs or deterministic and stochastic Petri nets (DSPNs) [16] are supported by many known tools (see, e.g. [3, 20]), it is hard to find a simulation tool for timed Petri nets with generally distributed (i.e., particular but arbitrarily chosen) firing times.In this paper, we present TiPeNeSS (Timed Petri Net Simulator Software) which supports the simulation of timed Petri nets containing transitions with generally distributed firing delays. The input of the software (the Petri net and the parameters) is defined in an XML file, what allows us to generate results in batch mode. Besides, we describe a case study in which we optimize the frequency of the regular maintenance in a manufacturing process.

Keywords