org.processmining.streamanalysis.utils

Class PetriNetUtils

java.lang.Object

org.processmining.streamanalysis.utils.PetriNetUtils

public class PetriNetUtils
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
PetriNetUtils()

Method Summary

Modifier and Type	Method and Description
static org.processmining.petrinets.list.PetriNetList	renameAllPlacesPetriNets(org.processmining.petrinets.list.PetriNetList list, java.lang.String newPlaceName)
static org.processmining.models.graphbased.directed.petrinet.Petrinet	renamePlaces(org.processmining.models.graphbased.directed.petrinet.Petrinet original, java.lang.String newPlaceName) Note, the clone function of the Petrinet class currently is not working properly, that is, it does not use getPlaces(), rather tries to access the collection maintained by the class directly.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

PetriNetUtils

public PetriNetUtils()

Method Detail

renamePlaces

public static org.processmining.models.graphbased.directed.petrinet.Petrinet renamePlaces(org.processmining.models.graphbased.directed.petrinet.Petrinet original,
                                                                                          java.lang.String newPlaceName)

Note, the clone function of the Petrinet class currently is not working properly, that is, it does not use getPlaces(), rather tries to access the collection maintained by the class directly. This does not work together with for example the AcceptingPetriNet class which uses a delegate pattern to implement the PetriNet interface

Parameters:

original -

newPlaceName -

Returns:

renameAllPlacesPetriNets

public static org.processmining.petrinets.list.PetriNetList renameAllPlacesPetriNets(org.processmining.petrinets.list.PetriNetList list,
                                                                                     java.lang.String newPlaceName)