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. 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.

Highlights

  • Some subclasses of timed Petri nets can be analyzed numerically, such as stochastic Petri nets (SPNs) [17, 19], generalized stochastic Petri nets (GSPN) [15] or in some cases, the deterministic and stochastic Petri nets (DSPNs) [16]

  • We present TiPeNeSS (Timed Petri Net Simulator Software) which supports the simulation of timed Petri nets containing transitions with generally distributed firing delays

  • We present TiPeNeSS, a simulator software for timed Petri nets (TPNs) in which we can use general distribution for firing delays in addition to the distributions allowed in DSPNs

Read more

Summary

INTRODUCTION

Some subclasses of timed Petri nets can be analyzed numerically, such as stochastic Petri nets (SPNs) [17, 19], generalized stochastic Petri nets (GSPN) [15] or in some cases, the deterministic and stochastic Petri nets (DSPNs) [16]. TimeNET [20] is a tool for analyzing and simulating DSPNs. the user manual of TimeNET [20] states that generally distributed transitions are enabled, and the graphical user interface ensures the use of generally distributed transitions. We present TiPeNeSS, a simulator software for TPNs in which we can use general distribution for firing delays (e.g. normal, uniform or gamma distribution) in addition to the distributions allowed in DSPNs (exponential, deterministic and zero-delayed).

TPN FORMALISM
The Structure of TiPeNeSS
The Core Module
The Statistical Module
The Parameter File
SEQUENTIAL WORK PHASES IN MANUFACTURING: A CASE STUDY
Production Lines in Manufacturing
A Sample Production Line
Finding the Optimal Scheduling of the Maintenance Process
SUMMARY
Full Text
Published version (Free)

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call