CSM to GSPN Translator

CSM2PN is a translator that converts CSM models into Generalized Stochastic Petri Nets.

Main related sources are:

• Core Scenario Model (CSM)
• PUMA framework

Download area:

• Download the user guide: guide.pdf
• Download CSMtoPN: CSMtoPN.jar
  • Usage: java -jar CSMtoPN.jar example.csm
• Download a CSM example file: example.csm
• Download the tool to convert a CSM file into a SVG (scalable vector graphics): CSMviewer.jar
  • Usage: java -jar CSMviewer.jar example.csm (now you can browse example.svg in any SVG tool)
• Download the GSPN obtained from the example in GreatSPN format: example.def, example.net
• Download the GSPN obtained from the example in TimeNET format: example.xml