Advertisement

ITPN-PerfBound: A Performance Bound Tool for Interval Time Petri Nets

  • Elina Pacini Naumovich
  • Simona Bernardi
  • Marco Gribaudo
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 5505)

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.

References

  1. 1.
    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)Google Scholar
  2. 2.
    Merlin, P., Faber, D.: Recoverability of communication protocols. IEEE Trans Commun. COM-24(9) (1976)Google Scholar
  3. 3.
    PetriNetsWorld: Petri nets tool database, http://www.informatik.uni-hamburg.de/TGI/PetriNets/tools/db.html
  4. 4.
    Berthomieu, B.: The TIme petri Net Analyzer (TINA) toolbox, http://www.laas.fr/tina/
  5. 5.
    Roux, O., et al.: The Roméo tool, http://romeo.rts-software.org
  6. 6.
    Vicario, E., et al.: The ORIS tool, http://www.stlab.dsi.unifi.it/oris/index.html
  7. 7.
    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)Google Scholar
  8. 8.
    PerfGroup: The GreatSPN tool, http://www.di.unito.it/~greatspn
  9. 9.
    Billington, J., et al.: The Petri Net Markup Language. Standard ISO/IEC-15909-2Google Scholar
  10. 10.
    Berkelaar, M., et al.: LP_SOLVE: library for solving linear (integer) programming problems, http://lpsolve.sourceforge.net/5.5/
  11. 11.
    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)Google Scholar
  12. 12.
    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)CrossRefGoogle Scholar
  13. 13.
    Bernardi, S., Campos, J., Merseguer, J.: Timing-failure risk assessment based on Petri net bounding techniques. Technical report, University of Torino, Italy (June 2008)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2009

Authors and Affiliations

  • Elina Pacini Naumovich
    • 1
  • Simona Bernardi
    • 1
  • Marco Gribaudo
    • 1
  1. 1.Dipartimento di InformaticaUniversità di TorinoTorinoItaly

Personalised recommendations