Class | Description |
---|---|
DNodeSys_PtNet |
A
DNodeSys representation of a Petri net for constructing a McMillan
prefix of the Petri net. |
UmaPromUtil |
A helper class for converting ProM framework objects to objects of
Uma and its supporting Petri Net API and back
|
UmaPromUtil.ProMToUmaBridge |