| Class | Description |
|---|---|
| DNode2Petrinet |
Output a branching process as a Petri net model
Petrinet for
viewing and manipulating in a graphical editor. |
| DNodeSys_PtNet |
A
DNodeSys representation of a Petri net for constructing a McMillan
prefix of the Petri net. |
| NetTransformationConnection |
Generic connection for two Petri nets where the second net
NetTransformationConnection.TRANSFORMED_NET is the result of some transformation on
the first net NetTransformationConnection.ORIGINAL_NET. |
| Uma_SimplifyModel |
Class to invoke Uma (an Unfolding-based Model Analyzer) to compute
a complete finite prefix of an unfolding of a given Petri net
|
| Uma_SimplifyModel_UI | |
| Uma_UnfoldPN |
Class to invoke Uma (an Unfolding-based Model Analyzer) to compute
a complete finite prefix of an unfolding of a given Petri net
|
| Uma_UnfoldPN_UI | |
| Uma_UnfoldPN.UnfoldingConfiguration |
Parameter class to configure the unfolding algorithm either
by command-line or by user interface.
|
| UmaPromUtil |
A helper class for converting ProM framework objects to objects of
Uma and its supporting Petri Net API and back
|
| UmaPromUtil.ProMToUmaBridge |