search

greatspn / SOURCES

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

Manual of v3.1 #53

Closed InitGo closed 1 month ago

InitGo commented 1 year ago

I want to use the app GreatSPNv3.1, but i can only find manual of v2.0 on the website: http://www.di.unito.it/~greatspn/index.html. It's different from appv3.1. Does v3.1 have specific user's manual? Looking forward to your reply!

amparore commented 1 year ago

no, it doesn't have one! sorry :) but have a look at the application (you can use the pre-built binaries) which is quite straightforward. You can also find the example models (create an empty project, and then click on the toolbar button: Add Page > Add Library Model. There is also a design document (not exactly a manual, however), which explains how the gui was built:

InitGo commented 1 year ago

no, it doesn't have one! sorry :) but have a look at the application (you can use the pre-built binaries) which is quite straightforward. You can also find the example models (create an empty project, and then click on the toolbar button: Add Page > Add Library Model. There is also a design document (not exactly a manual, however), which explains how the gui was built:

Thanks, i found the example models and the pdf file, they help a lot~

hz226 commented 1 month ago

Hi, It seems that GreatSPN tool does not support creating a timed CPN model. For example, I could not set the initial marking of a place with timed color tokens (e.g., 11@+1+12@+2, "@+1" and "@+2" refer to related token will be issued in time unit 1 and 2 respectively).

In addition, I tried to set the time delay of a General (type) transition with I[1.0] in a CPN model created by the GreatSPN tool. when doing the TIMED simulation, the tool will run with errors, as shown in the attachment.

Please help me to address the issues above.

screenshot-Error

Thanks.

amparore commented 1 month ago

Timed markings are not supported.

Timed simulation with CPN models should work instead. Attached a simple model, similar to your example, for which the timed token game operates correctly. SimpleCPNforTokenGame.zip

I am not sure what is the issue in your example, as I cannot see the full model specification.

hz226 commented 1 month ago

Hi Amparore,

Thank you for your example. However, after running simulation of your example (SimpleCPNforTokenGame.zip), I encountered the same error, as shown in the attachment. Screenshot-sample

I am not sure what the issue was. Please help me to address it when you are free.

Thanks.

amparore commented 1 month ago

Closed as duplicate.