TiPeNeSS: a timed petri net simulator software with generally distributed firing delays.

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

SIMUTools '15: Proceedings of the 8th International Conference on Simulation Tools and Techniques(2015)

引用 2|浏览6
暂无评分
摘要
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.
更多
查看译文
关键词
simulation,timed petri net,general distribution
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络
Chat Paper
正在生成论文摘要