ModelRepair_SubProcess.PetriNetWithMarkings (ModelRepair)

java.lang.Object
- hub.top.petrinet.PetriNet
- - org.processmining.modelrepair.plugins.ModelRepair_SubProcess.PetriNetWithMarkings

All Implemented Interfaces:: hub.top.petrinet.ISystemModel

Enclosing class:: ModelRepair_SubProcess

public static class ModelRepair_SubProcess.PetriNetWithMarkings
extends hub.top.petrinet.PetriNet

- Field Summary
  
  Fields
  Modifier and Type Field Description
  
  java.util.Set<hub.top.petrinet.Place> finalMarking
  
  java.util.Set<hub.top.petrinet.Place> initialMarking
  - Fields inherited from class hub.top.petrinet.PetriNet
    nodeId
- Constructor Summary
  
  Constructors
  Constructor Description
  
  PetriNetWithMarkings()
- Method Summary
  - Methods inherited from class hub.top.petrinet.PetriNet
    addArc, addArc, addArc, addPlace, addPlace_unique, addRole, addTransition, addTransition_unique, anonymizeNet, contractPlace, contractTransition, findPlace, findTransition, getArcs, getInfo, getNextNodeID, getPlaces, getRoles, getTransitions, hasRole, isUnlabeled, makeNormalNet, makePlacesInvisible, mergePlaces, mergeTransitions, nondeterministicTransitions, parallelTransitions, parallelTransitions, removeArc, removeIsolatedNodes, removeParallelTransitions, removePlace, removeTauTransitions, removeTransition, replaceTransitionStrongCo, setName, setRoles_unassigned, setTokens, setTokens, spreadRolesToPlaces_union, spreadRolesToTransitions_union, toDot, toDot, toDot_swimlanes, toDot_swimlanes, toLoLA_ident, toString, turnIntoLabeledNet, turnIntoUnlabeledNet
  - Methods inherited from class java.lang.Object
    clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

initialMarking

public java.util.Set<hub.top.petrinet.Place> initialMarking

finalMarking

public java.util.Set<hub.top.petrinet.Place> finalMarking

Constructor Detail
- PetriNetWithMarkings
```
public PetriNetWithMarkings()
```