Logo der Fakultät STTP-Logo

MoPeBs

Description

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.

Installation guide:

Step 1 (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). If you use MacOS or Linux, please check the LpSolve Homepage for further instructions.

Step 2 (download MoPeBs): Please download MoPeBs Eagle Owl, exctract the .zip file, and start MoPeBs.jar.

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.

Tool

Examples

Note that all these example files are already included in the MoPeBs Cheetah download file.

  • Coffee Brewing Example (This example consists of two labeled partial orders specifying two possible runs of a coffee brewing process)
  • Repair Example (This example consists of four labeled partial orders specifying four possible runs of a repair service)

Documentation

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.

LG STTP | 18.04.2017
FernUni-Logo FernUniversität in Hagen, Lehrgebiet Softwaretechnik und Theorie der Programmierung