Abstract
The ITPN-PerfBound is a tool for the modeling and analysis of Interval Time Petri Nets (ITPN), that is Petri Nets in which firing time intervals, and possibly firing frequency intervals, are associated to transitions. The tool is particularly well-suited in the verification and validation activities of real-time systems, where the main goal is to give guarantees about the worst and best case system performance. The tool has been implemented within the DrawNET framework and supports the analysis of ITPN models based on the computation of upper and lower bounds of classical performance metrics, such as throughput and cycle time. © 2009 Springer Berlin Heidelberg.
Cite
CITATION STYLE
Pacini Naumovich, E., Bernardi, S., & Gribaudo, M. (2009). ITPN-Perfbound: A performance bound tool for interval time petri nets. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 5505 LNCS, pp. 50–53). https://doi.org/10.1007/978-3-642-00768-2_5
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
