An experimental framework for PIPE2

Proceedings - 5th International Conference on the Quantitative Evaluation of Systems, QEST 2008

Volumn , Issue , 2008, Pages 239-240

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

^a UNIVERSITAT DE LES ILLES BALEARS   (Spain)

^b Performance Engineering Services   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

GRAPH THEORY; MARINE BIOLOGY; PETRI NETS; SPONTANEOUS EMISSION;

CASE STUDIES; MODELING TOOLS; PERFORMANCE MODEL INTERCHANGE FORMATS; PERFORMANCE STUDIES;

EXPERIMENTS;

EID: 56649089840     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/QEST.2008.15     Document Type: Conference Paper

References (4)

1. Platform Independent Petri net Editor 2. http://pipe2.sourceforge.net/.
2. M. Marsan, A. Bobbio, and S. Donatelli. Lectures on Petri Nets I: Basic Models, chapter Petri Nets in Performance Analysis: An Introduction. Springer, 1998.
3. M. Melià, C. Lladó, C. Smith, and R. Puigjaner. Experimentation and output interchange for petri net models. In Proc. of the Workshop on Software and Performance, 2008.
4. C. Smith, C. Lladó, 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.