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

Abstract

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]) can be handled analytically, a general timed Petri net is hard to evaluate via numerical analysis 1 . 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 2 .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.

QoS-Aware Energy Management and Node Scheduling Schemes for Sensor Network-Based Surveillance Applications

“…On the other hand, a software-based energy measurement scheme is more economical since it does not require any extra hardware for measurement. Such a scheme involves the use of simulation and analytical models for measurement [40]- [43]. The prevention stage is triggered when the energy depletion rate goes beyond a threshold [15].…”