Experimentation and output interchange for petri net models

WOSP'08: Proceedings of the 7th International Workshop on Software and Performance 2008

Volumn , Issue , 2008, Pages 133-137

  Melià, Marc ^a   Lladó, Catalina M ^a   Smith, Connie U ^b   Puigjaner, Ramon ^a  

^a Departament de Quvmica   (Spain)

^b Performance Engineering Services   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

INTERCHANGES; INTERSECTIONS; MARINE BIOLOGY; PETRI NETS; SPONTANEOUS EMISSION; TECHNICAL PRESENTATIONS;

ANALYSIS CAPABILITIES; CASE STUDIES; INVARIANT ANALYSIS; MODELING TOOLS; PERFORMANCE ANALYSES; PERFORMANCE MODEL INTERCHANGE FORMATS; PERFORMANCE STUDIES; PETRI NET; PETRI NET MODELS; PLATFORM INDEPENDENTS; REACHABILITY ANALYSES;

GRAPH THEORY;

EID: 57349187627     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1383559.1383576     Document Type: Conference Paper

References (20)

1. Great SPN 2.0. GRaphical Editor and Analyzer for Timed and Stochastic Petri Nets. http://www.di.unito.it/~greatspn/.
2. Petri Net Markup Language, http: //www2.informatik.hu-berlin.de/top/pnml/ about.html.
3. Petri Nets Tool Database, http: //www.informatik.uni-hamburg.de/TGI/ PetriNets/tools/db.html.
4. Platform Independent Petri net Editor 2. http://pipe2.sourceforge.net/.
5. TimeNET 4.0. TIMEd Net Evaluation Tool. http://pdv.cs.tu-berlin.de/ ~timenet/.
6. J. Billington et al. The Petri Net Markup Language: Concepts, Technology, and Tools. http://www2.informatik.hu-berlin.de/top/pninl/download/about/PNML- CTT.pdf, March 2003.
7. P. Bonet, C. Llado, R. Puijaner, and W. Knottenbelt. Pipe v2.5: A petri net tool for performance modelling. In Proc. 23rd Latin American Conference on Informatics (CLEI 2007), October 2007.
8. G. Chiola, G. Franceschinis, R. Gaeta, and M. Ribaudo. GreatSPN 1.7: GRaphical Editor and Analyzer for Timed and Stochastic Petri Nets. Performance Evaluation, special issue on Performance Modeling Tools, 24(1-2):47-68, November 1995.
9. T. Courtney, S. Gaonkar, G. McQuinn, E. Rozier, W. Sanders, and P. Webster. Design of experiments within the möbius modeling environment. In Proc. of the Fourth International Conference on the Quantitative Evaluation of Systems, pages 161-162, September 2007.
10. D. Deavours, G. Clark, T. Courtney, D. Daly, S. Derisavi, J. Doyle, W. Sanders, and P. Webster. The mobius framework and its implementation. IEEE Trans, on Software Engineering, 28(10), October 2002.
11. J. Desel and W. Reisig. Lectures on Petri Nets I: Basic Models, chapter Place/Transition Petri Nets, pages 122-173. Springer, 1998.
12. th Int. Conf. on Computer Performance Evaluation Modelling Techniques and Tools, LNCS 1786, pages 345-349, Berlin, March 2000. Springer Verlag.
13. ISO/IEC/JTC1/SC7. Subdivision of project 7.19 fpr a Petri net standard, October 1995.
14. E. Kindler, editor. Petri Net Markup Language Forum 2006 (PNML 06), June 2006.
15. M. Melià, C. Llado, C. Smith, and R. Puigjaner. An experimental framework for PIPEv2.5. In Submitted for publication as a tool paper to the 5th International Conference on Quantitative Evaluation of Systems.
16. C. Smith and C. Llado. Performance model interchange format (PMIF 2.0): XML definition and implementation, tecnical report. Technical report, Performance Engineering Services, 2007.
17. C. Smith, C. Llado, R. Puigjaner, and L. Williams. Interchange formats for performance models: Experimentation and output. In Proc. of the Fourth International Conference on the Quantitative Evaluation of Systems, pages 91-100, September 2007.
18. K. Trivedi and C. Hirel. SHARPE: Symbolic Hierarchical Automated Reliability and Performance Evaluator. http: //www.ee.duke.edu/~chirel/IRISA/ sharpeGui.html.
19. C. Woodside and Y. Li. Performance petri net analysis of communications protocol software by delay-equivalent aggregation. Petri Nets and Performance Models, 1991. Proceedings of the Fourth International Workshop on, pages 64-73, 1991.
20. A. Zimmermann and M. Knoke. TimeNET 4.0. a Software Tool for the Performability Evaluation with Stochastic and Coloured Petri Nets. User Manual. Technical report, Technische Universität Berlin. Real-Time Systems and Robotics Group, August 2007.