Model Transformation Tools
Pmif+ to Qnap2 transformation tool: PmifPlusToQnap
A Model-to-Text (M2T) transformation that generates QNAP models from PMIF+ models.
Pmif-Ex to JMT transformation tool: Pmif-ExToJMT
This zip file contains two related projects that together transform a PMIF model (and, optionally, a PMIF-Ex experiment) in a file that can be opened by JSim, one of the JMT tools (Java Modelling Tools). These are:
-
- pmifex
This project performs an ATL model-to-model transformation that generates a xmi file conforming to JMT’s JSim meta-module from a PMIF XMI file (the model) and a PMIF-Ex XMI file (the experiment, this file is optional). - org.eclipse.acceleo.module.m2t_jmt
This project performs an Acceleo model-to-text transformation. From a XMI file that conforms to JSim meta-model, it generates a xml file that can actually be opened by JMT.
- pmifex
Pmif2PIPE transformation tool: Pmif2PIPE
This zip file contains two related projects that together transform a PMIF model in a file that can be imported by PIPE2, a Petri Net modelling tool. The projects are:
-
- PMIF2PetriNetMM
It performs an ATL model-to-model transformation that generates a xmi file conforming to PIPES’s pseudo-PNML meta-model from a PMIF XMI file. - org.eclipse.acceleo.module.pmif2pipe
This project performs an Acceleo model-to-text transformation. From a XMI file that conforms PIPES’s pseudo-PNML meta-model, it generates an xml file that can be imported by PIPE2.
- PMIF2PetriNetMM
EXperiment Output to SpreadSheet (EXOSS): EXOSS Tool
A tool to convert an XML experiment output file to an Excel spreadsheet.
It can handle both Petri Nets and Queueing Networks.
Modelling Tools
PIPE 2.7 Petri net modelling tool: PIPE 2.7
-
-
- PIPE v2.5: a Petri Net Tool for Performance Modeling
- PIPE 2.7-Enhancements
- PiPE 2.7 New features (it includes a transformation from PMIF to Petri Nets models, specified in PNML and an implementation of an experimenter following the Ex-SE)
-