public class Marking extends AbstractMarking<Flow,Node,Place,Transition>
AbstractMap.SimpleEntry<K,V>, AbstractMap.SimpleImmutableEntry<K,V>| Constructor and Description |
|---|
Marking() |
Marking(IPetriNet<Flow,Node,Place,Transition> net) |
clear, clone, createMarking, entrySet, equals, fire, fromMultiSet, get, get, getPetriNet, hashCode, isBounded, isEmpty, isMarked, isSafe, put, putAll, remove, remove, setPetriNet, size, toMultiSetcontainsKey, containsValue, keySet, valuestoStringfinalize, getClass, notify, notifyAll, wait, wait, waitcontainsKey, containsValue, keySet, valuespublic Marking()
public Marking(IPetriNet<Flow,Node,Place,Transition> net)
Copyright © 2017. All rights reserved.