Title :
Integrating TPNs and Performance Bound Techniques in ITPN-PerfBound: A New Import Functionality
Author :
Naumovich, Elina Pacini ; Bernardi, Simona
Author_Institution :
Dipt. di Inf., Univ. di Torino, Turin, Italy
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 :
Petri nets; drawnet modeling framework; graphical tool; interval time Petri net; performance bound analysis; task completion time; Character generation; Filters; Frequency; Helium; Linear programming; Performance analysis; Petri nets; Throughput; Timing; Usability; Interval Time Petri Net (ITPN); performance bound analysis; tool inter-operability;
Conference_Titel :
Quantitative Evaluation of Systems, 2009. QEST '09. Sixth International Conference on the
Conference_Location :
Budapest
Print_ISBN :
978-0-7695-3808-2
DOI :
10.1109/QEST.2009.39
