public static class ModelRepair_SubProcess.PetriNetWithMarkings
extends hub.top.petrinet.PetriNet
Modifier and Type | Field and Description |
---|---|
java.util.Set<hub.top.petrinet.Place> |
finalMarking |
java.util.Set<hub.top.petrinet.Place> |
initialMarking |
Constructor and Description |
---|
PetriNetWithMarkings() |
addArc, addArc, addArc, addPlace_unique, addPlace, addRole, addTransition_unique, addTransition, 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_swimlanes, toDot_swimlanes, toDot, toDot, toLoLA_ident, toString, turnIntoLabeledNet, turnIntoUnlabeledNet