Experimentation and output interchange for petri net models

Authors:
Marc Melia;Catalina M. Llado;Connie U. Smith;Ramon Puigjaner
Affiliations:
Universitat de les Illes Balears, Palma de Mallorca, Spain;Universitat de les Illes Balears, Palma de Mallorca, Spain;Performance Engineering Services, Santa Fe, NM, USA;Universitat de les Illes Balears, Palma de Mallorca, Spain
Venue:
WOSP '08 Proceedings of the 7th international workshop on Software and performance
Year:
2008

Citing 6
Cited 1

GreatSPN 1.7: graphical editor and analyzer for timed and stochastic Petri nets

Performance Evaluation - Special issue: performance modeling tools
The Möbius Framework and Its Implementation

IEEE Transactions on Software Engineering
Place or Transition Petri Nets

Lectures on Petri Nets I: Basic Models, Advances in Petri Nets, the volumes are based on the Advanced Course on Petri Nets
Interchange Formats for Performance Models: Experimentation and Ouput

QEST '07 Proceedings of the Fourth International Conference on Quantitative Evaluation of Systems
Design of Experiments within the Mobius Modeling Environment

QEST '07 Proceedings of the Fourth International Conference on Quantitative Evaluation of Systems
An Experimental Framework for PIPE2

QEST '08 Proceedings of the 2008 Fifth International Conference on Quantitative Evaluation of Systems

Performance Model Interchange Format (PMIF 2): A comprehensive approach to Queueing Network Model interoperability

Performance Evaluation

Quantified Score

Hi-index	0.00

Visualization

Abstract

Performance model interchange formats are common representations for data that can be used to move models among modeling tools. The Experiment Schema Extension (Ex-SE) provides a means of specifying performance studies (model runs and output). It is independent of a given tool paradigm, e.g., it works with PMIF, S-PMIF, LQN, Petri nets and other paradigms. Petri nets are different from the other paradigms, however, because they provide additional representation and analysis capabilities in addition to performance analysis. Examples include constraints on tokens in places, invariant analysis, reachability analysis, and so on. So to capitalize on these additional capabilities, this paper presents a specific, extended instantiation of the Ex-SE for Petri nets (PN-Ex). The viability of the approach is demonstrated with a case study carried out using PIPE2 (Platform Independent Petri net Editor 2) with an experimental framework.