Integrating TPNs and Performance Bound Techniques in ITPN-PerfBound: A New Import Functionality

Abstract—ITPN-PerfBound is a graphical tool for the modeling and performance bound analysis of Interval Time Petri Nets (ITPN), that has been developed within the DrawNET modeling framework. The tool supports the computation of metric bounds such as system throughput and task completion time. It provides also exporting facilities toward GreatSPN and TINA tools. In this paper, we present the old and the newly added functionalities of ITPN-PerfBound. Keywords-Interval Time Petri Net (ITPN), performance bound analysis, tool inter-operability.

• Type: Conference
• Year: 2009
• Where: QEST
• Authors: Elina Pacini Naumovich, Simona Bernardi
• Keywords: DrawNET Modeling Framework, Performance Bound Analysis, QEST 2009, Quantitative Evaluation Of Systems, Time Petri Net