Welcome to the MoPeBs-Tool.
MoPeBs - Eagle Owl
MoPeBs Eagle Owl is a Java-based tool (requires at least Oracle Java 8). Using MoPeBs Eagle Owl you can create a partial language and synthesize a Petri net. This version of MoPeBs includes three synthesis methods: Transition Regions, Tokenflow Regions and Compact Regions. Note: MoPeBs Eagle Owl requires the LPSolve Library - if not installed, MoPeBs will not start.
(set up LP Solve): If you use a Windows system, please download: lpslove55 and lpsolve55j. Save both files to your classpath (for example C:\Windows).
- lpslove55 (DLL, 612 KB)
- lpsolve55j (DLL, 127 KB)
If you use MacOS or Linux, please check the LpSolve Homepage for further instructions.
(download MoPeBs): Please download MoPeBs Eagle Owl, exctract the .zip file, and start MoPeBs.jar.
- MoPeBs Eagle Owl (ZIP 799 KB)
Fell free to create a new project or to load one of the sample projects included in the examples directory.
MoPeBs - Cheetah
MoPeBs Cheetah is a Java-based tool with which you can create labeled partial orders (lpos), edit them and fold them into a workflow net. This version of MoPeBs includes two folding algorithms, a standard folding algorithm and a revised folding algorithm. Whereas the standard folding algorithm generates workflow nets, which can have additional behavior next to the specified, the revised algorithm tries to exclude additional behavior by modifying the specification.
Please download the MoPeBs Cheetah tool and try out one of the example projects included in the download. You can also download these examples from the example category.
- MoPeBs Cheetah (ZIP 709 KB)
(requires at least Oracle Java 8v25)
- MoPeBs Cheetah with Java (ZIP 112 MB)
(includes Oracle Java 8v25)
Note that all these example files are already included in the MoPeBs Cheetah download file.
- Coffee Brewing Example (ZIP 2 KB)
(This example consists of two labeled partial orders specifying two possible runs of a coffee brewing process)
- Repair Example (ZIP 6 KB)
(This example consists of four labeled partial orders specifying four possible runs of a repair service)
At the moment, there is no documentation for MoPeBs Cheetah.
Please just start MoPeBs Cheetah, open a project, and click on the Fold or Revised Fold buttons. After the generation you can find the resulting workflow net in the models-list.