Integrating TPNs and Performance Bound Techniques in ITPN-PerfBound: A New Import Functionality
Elina Pacini Naumovich, Simona Bernardi · 2009
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.