An open source tool suite for analysing Workflow Nets.
A tool able to generate large generalised sound Workflow Nets.
A tool able to reduce large generalised sound Workflow Nets while preserving generalised soundness.
How to compile
Compilation example :
- Edit z3's include and bin folder in CMakeLists.txt (z3 v22.214.171.124 available https://github.com/Z3Prover/z3)
- cd bin/
- cmake ..
How to run
- ./Hadara_AdSimul_Gen [Name] [Path to the cvars file] [Number of iteration to be performed]
- ./Hadara_AdSimul_Red [Path to the WF-Net]
Under folder "DataSet1" you can find a set of 48 generalised sound WF-nets with size ranging from 371 nodes (165 transitions) to 17815 nodes (9233 transitions).
Under folder "DataSet2" you can find a set of 59 generalised sound WF-nets with size ranging from 1836 nodes (1000 transitions) to 147640 nodes (75782 transitions).
The plots below shows the reduction time of WF-net of the two data set obtained on a personal laptop featuring an Intel core i7-3740QM @ 2.70GHz processor (using only a single core).
- BRIDE Hadrien (firstname.lastname@example.org).
Hadara-AdSimul is available under the CeCILL license. See the LICENSE file for more info.