createS4PR: a random generator of S4PR nets

As side product of greatspn2PNML tool (see here!), I’ve created also a random generator of S4PR nets. This generator uses a set of input parameters to define the net to be generated, such as the number and size of processes, the number of resources, the initial number of tokens in each process PN and resource, or the transition rates (to name a few).

Download and compile this file from the same GIT server than greatspn2PNML tool:

The GIT server also contains some examples of these nets (mainly used for research experiments).

As always, feel free to contact me if you discover any bug, to propose improvements, or to collaborate!

Comments are closed.