1 Hit in 0.037 sec

Experimentation and output interchange for petri net models

Marc Melia, Catalina M. Llado, Connie U. Smith, Ramon Puigjaner
2008 Proceedings of the 7th international workshop on Software and performance - WOSP '08  
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
more » ... apabilities 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.
doi:10.1145/1383559.1383576 dblp:conf/wosp/MeliaLSP08 fatcat:bnniq77mprhopfros53x7z43da