Class | Description |
---|---|
BPstructBP |
This is a wrapper of the UMA implementation of complete prefix unfolding
specifically designed to derive prefixes suitable for structuring
|
BPstructBPSys |
This class is a modification to the original implementation provided in uma package
|
Execution |
Created by armascer on 9/11/2017.
|
NetReplayer |
Created by armascer on 9/11/2017.
|
Unfolder_PetriNet |
This class is a modification to the original implementation provided in uma
package This version provides access to the Unfolding and allows incremental
unfolding.
|
Enum | Description |
---|---|
BPstructBP.MODE | |
Multiplicity |