search

greatspn / SOURCES

Main repository of the GreatSPN framework
GNU General Public License v2.0
42 stars 13 forks source link

GreatSPN2.0 #10

Closed khan-shahid closed 3 years ago

khan-shahid commented 4 years ago

Hi, Following are few queries; they are not really installation issues but answering them here might help others. I install the GreatSPN on ubuntu 18.04 but I get GUI for GreatSPN2.0. While exporting to pnml format (using GUI), the labeling information is not present in the resulting .pnml file. The pnml2netdef tool gives following error: /usr/local/GreatSPN/scripts/pnml2netdef: 25: /usr/local/GreatSPN/scripts/pnml2netdef: /usr/local/GreatSPN/bin/GSOL: not found Can I translate .pnpro format to .net without going into the GUI? After defining DTA for different reliability metrics, I need to use CSL though command line on different models. Where can I find such example to automate the toolchain. Best regards,

GallaFrancesco commented 4 years ago

Hi, GreatSPN 2.0 provides a java command-line tool to perform PNML to NET/DEF conversion, the pnml2netdef script is not up to date. Here's an usage example. Provided that you have installed GreatSPN in /usr/local/GreatSPN/* using make, make install and that you have a model exported in PNML format called Database.pnml:

 java -mx14000m -cp /usr/local/GreatSPN/bin/Editor.jar:/usr/local/GreatSPN/bin/lib/antlr-runtime-4.2.1.jar  editor.UnfoldPNML2NetDefCommandLineTool /path/to/model/dir/Database -name-map -short-names

You should find the corresponding Database.net / Database.def inside the model directory, please let us know if you have any issues.

Regarding examples on CSL from the command line I'm notifying @amparore. Best regards.

khan-shahid commented 4 years ago

Thanks for your quick reply. The command worked but where can I find help on this java command-line tool. Can I use similar command to export PNPRO model in .net file. More importantly can I perform composition directly on PNPRO files using this command line tool. The problem with pnmll format is that the Tags associated to places and transitions are dropped when I export the file into PNML format using GreatSPN GUI. I need to compose nets using command line algebra tool and for that I need .net format and for the .net format I need .pnml format because I can only convert from .pnml to .net format using your previously shared command.

amparore commented 3 years ago

Since this issue was opened, the unfolding command has been moved to the dedicated command unfolding2, with its own help. I am closing this issue.