GREATSPN2.0.X Meddly

SOME EXAMPLES FOR TESTING
______________________

We have prepared two examples (the dinning philosophers and the flexible manufacturing system), which  should be useful to understand how to use the new solver.
For the first example we have prepared a scripts called ``composition.sh'' that can be use to set the number of philosophers in the model.


These examples can be run in order to solve the dinning philosophers model as follows:

	swn_ord_rgMEDD ./Philosophers/ff  -B 2
	swn_ord_rgMEDD ./Philosophers/ff  -B 2 -E 

where  the option [-E] can be specified to use the EV+MDD approach.


These examples can be run in order to solve the flexible manufacturing system model as follows:

	swn_ord_rgMEDD ./Philosophers/fsm  -B 5
	swn_ord_rgMEDD ./Philosophers/fsm  -B 5 -E 

where  the option [-E] can be specified to use the EV+MDD approach.