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. |