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