| Package | Description |
|---|---|
| org.processmining.datapetrinets |
| Modifier and Type | Method and Description |
|---|---|
static DataPetriNet.PetrinetWithMarkings |
DataPetriNet.Factory.toPetrinetWithMarkings(DataPetriNet net)
Copies the
DataPetriNet to a Petrinet, i.e., without
guard, variables. |