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