GREATSPN2.0.X with Meddly



GETTING START
______________________________________________

The GreatSPN  GUI (see GreatSPN manual for a detailed description) can be used to draw the PN submodel 

The GreatSPN GUI starts typing  the command ``greatspn'' in a terminal (``greatspn'' script is in the ``bin'' directory).

In order to produce to solve the PN model the script ``swn_ord_rgMEDD''  (in the ``bin'' directory) has to be executed by command-line  as follows:
A) MTMDD approach:
		swn_ord_rgMEDD <net_directory/net>  [-B INTEGER]

B) EV+MDD approach
		swn_ord_rgMEDD <net_directory/Probabilistic_net> <net_directory/Nondeterministic_net> -E [-B INTEGER]

where option [-B] is use to specify the places' bound. If it is not specified  the places' bound is set to 255. Observe that this value has an impact on the computation time.

In the end,  you will find in the  <net_directory> a new files called <net>.sta storing the model transition throughputs.


HOWTO GENERATE A GSPN MODEL
______________________________________________

The GreatSPN manual (that can be downloaded from http://wwww.di.unito.it) is a good starting point.