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.
Chapter PDF
Similar content being viewed by others
References
Bernardi, S., Campos, J.: On Performance Bounds for Interval Time Petri Nets. In: Proceedings of the 1st International Conference on Quantitative Evaluation of Systems (QEST’04), Enschede, The Netherlands, pp. 50–59. IEEE Computer Society Press, Los Alamitos (2004)
Merlin, P., Faber, D.: Recoverability of communication protocols. IEEE Trans Commun. COM-24(9) (1976)
PetriNetsWorld: Petri nets tool database, http://www.informatik.uni-hamburg.de/TGI/PetriNets/tools/db.html
Berthomieu, B.: The TIme petri Net Analyzer (TINA) toolbox, http://www.laas.fr/tina/
Roux, O., et al.: The Roméo tool, http://romeo.rts-software.org
Vicario, E., et al.: The ORIS tool, http://www.stlab.dsi.unifi.it/oris/index.html
Gribaudo, M., Codetta Raiteri, D.G.F.: The DrawNET Modelling System: a framework for the design and the solution of single-formalism and multi-formalis models. Technical Report TR-INF-2006-01-UNIPMN (January 2006)
PerfGroup: The GreatSPN tool, http://www.di.unito.it/~greatspn
Billington, J., et al.: The Petri Net Markup Language. Standard ISO/IEC-15909-2
Berkelaar, M., et al.: LP_SOLVE: library for solving linear (integer) programming problems, http://lpsolve.sourceforge.net/5.5/
Paoli, A., Sartini, M., Tilli, A.: Rapid prototyping of logic control in industrial automation exploiting the generalized actuator approach. In: Proc. of 13th IEEE International Conference on Emerging Technologies and Factory Automation, Hamburg, Germany. IEEE, Los Alamitos (2008)
Diaz, M., Azema, P.: Petri net based models for the specification and validation of protocols. In: Rozenberg, G. (ed.) APN 1984. LNCS, vol. 188, pp. 101–121. Springer, Heidelberg (1985)
Bernardi, S., Campos, J., Merseguer, J.: Timing-failure risk assessment based on Petri net bounding techniques. Technical report, University of Torino, Italy (June 2008)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Pacini Naumovich, E., Bernardi, S., Gribaudo, M. (2009). ITPN-PerfBound: A Performance Bound Tool for Interval Time Petri Nets. In: Kowalewski, S., Philippou, A. (eds) Tools and Algorithms for the Construction and Analysis of Systems. TACAS 2009. Lecture Notes in Computer Science, vol 5505. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-00768-2_5
Download citation
DOI: https://doi.org/10.1007/978-3-642-00768-2_5
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-00767-5
Online ISBN: 978-3-642-00768-2
eBook Packages: Computer ScienceComputer Science (R0)