CSM to GSPN Translator
CSM2PN is a translator that converts CSM models into Generalized Stochastic Petri Nets.
Main related sources are:
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