ITPN-Perfbound: A performance bound tool for interval time petri nets

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5505 LNCS, Issue , 2009, Pages 50-53

  Pacini Naumovich, Elina ^a   Bernardi, Simona ^a   Gribaudo, Marco ^a  

^a UNIVERSITY OF TURIN   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

CYCLE TIME; FIRING FREQUENCY; FIRING TIME; INTERVAL TIME PETRI NETS; MODELING AND ANALYSIS; PERFORMANCE BOUNDS; PERFORMANCE METRICS; UPPER AND LOWER BOUNDS; VERIFICATION AND VALIDATION; MODEL AND ANALYSIS; VERIFICATION-AND-VALIDATION;

COMPUTER SOFTWARE; CONTROL THEORY; GRAPH THEORY; PETRI NETS; COMPUTATION THEORY; INTERACTIVE COMPUTER SYSTEMS;

REAL TIME SYSTEMS;

EID: 70350681153     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-00768-2_5     Document Type: Conference Paper

References (13)

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)
2. Merlin, P., Faber, D.: Recoverability of communication protocols. IEEE Trans Commun. COM-24(9) (1976)
3. PetriNetsWorld: Petri nets tool database, http://www.informatik.uni- hamburg.de/TGI/PetriNets/tools/db.html
4. Berthomieu, B.: The TIme petri Net Analyzer (TINA) toolbox, http://www.laas.fr/tina/
5. Roux, O., et al.: The Roméo tool, http://romeo.rts-software.org
6. Vicario, E., et al.: The ORIS tool, http://www.stlab.dsi.unifi.it/oris/ index.html
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)
8. PerfGroup: The GreatSPN tool, http://www.di.unito.it/̃greatspn
9. Billington, J., et al.: The Petri Net Markup Language. Standard ISO/IEC-15909-2
10. Berkelaar, M., et al.: LP SOLVE: library for solving linear (integer) programming problems, http://lpsolve.sourceforge.net/5.5/
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)
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)
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)