Serialized Form

Package org.jbpt.petri

Class org.jbpt.petri.AbstractMarking extends HashMap<P extends IPlace,Integer> implements Serializable

serialVersionUID:

-2144274745926614966L

Serialized Fields

net

IPetriNet<F extends IFlow<N>,N extends INode,P extends IPlace,T extends ITransition> net

Class org.jbpt.petri.AbstractRun extends ArrayList<IStep<F extends IFlow<N>,N extends INode,P extends IPlace,T extends ITransition,M extends IMarking<F,N,P,T>>> implements Serializable

serialVersionUID:

-4466441471941425047L

Serialized Fields

sys

INetSystem<F extends IFlow<N>,N extends INode,P extends IPlace,T extends ITransition,M extends IMarking<F,N,P,T>> sys

currentMarking

IMarking<F extends IFlow<N>,N extends INode,P extends IPlace,T extends ITransition> currentMarking

initialMarking

IMarking<F extends IFlow<N>,N extends INode,P extends IPlace,T extends ITransition> initialMarking

possibleExtensions

Set<E> possibleExtensions

Class org.jbpt.petri.Marking extends AbstractMarking<Flow,Node,Place,Transition> implements Serializable

serialVersionUID:

4936816593533149286L

Class org.jbpt.petri.Run extends AbstractRun<Flow,Node,Place,Transition,Marking> implements Serializable

serialVersionUID:

-7873810995440121311L

Package org.jbpt.petri.unfolding

Class org.jbpt.petri.unfolding.AbstractCoSet extends HashSet<C extends ICondition<BPN,C,E,F,N,P,T,M>> implements Serializable

serialVersionUID:

1L

Serialized Fields

p2cs

Map<K,V> p2cs

Class org.jbpt.petri.unfolding.AbstractCut extends AbstractCoSet<BPN extends IBPNode<N>,C extends ICondition<BPN,C,E,F,N,P,T,M>,E extends IEvent<BPN,C,E,F,N,P,T,M>,F extends IFlow<N>,N extends INode,P extends IPlace,T extends ITransition,M extends IMarking<F,N,P,T>> implements Serializable

serialVersionUID:

1L

Class org.jbpt.petri.unfolding.AbstractLocalConfiguration extends HashSet<E extends IEvent<BPN,C,E,F,N,P,T,M>> implements Serializable

serialVersionUID:

1L

Serialized Fields

e

IEvent<BPN extends IBPNode<N>,C extends ICondition<BPN,C,E,F,N,P,T,M>,E extends IEvent<BPN,C,E,F,N,P,T,M>,F extends IFlow<N>,N extends INode,P extends IPlace,T extends ITransition,M extends IMarking<F,N,P,T>> e

cut

ICut<BPN extends IBPNode<N>,C extends ICondition<BPN,C,E,F,N,P,T,M>,E extends IEvent<BPN,C,E,F,N,P,T,M>,F extends IFlow<N>,N extends INode,P extends IPlace,T extends ITransition,M extends IMarking<F,N,P,T>> cut

marking

IMarking<F extends IFlow<N>,N extends INode,P extends IPlace,T extends ITransition> marking

vec

List<E> vec

foata

List<E> foata

CPU

ICompletePrefixUnfolding<BPN extends IBPNode<N>,C extends ICondition<BPN,C,E,F,N,P,T,M>,E extends IEvent<BPN,C,E,F,N,P,T,M>,F extends IFlow<N>,N extends INode,P extends IPlace,T extends ITransition,M extends IMarking<F,N,P,T>> CPU

Class org.jbpt.petri.unfolding.AbstractPossibleExtensions extends TreeSet<E extends IEvent<BPN,C,E,F,N,P,T,M>> implements Serializable

serialVersionUID:

-2255908039950562882L

Serialized Fields

order

IAdequateOrder<BPN extends IBPNode<N>,C extends ICondition<BPN,C,E,F,N,P,T,M>,E extends IEvent<BPN,C,E,F,N,P,T,M>,F extends IFlow<N>,N extends INode,P extends IPlace,T extends ITransition,M extends IMarking<F,N,P,T>> order

Class org.jbpt.petri.unfolding.CoSet extends AbstractCoSet<BPNode,Condition,Event,Flow,Node,Place,Transition,Marking> implements Serializable

serialVersionUID:

-5282683667272122140L

Class org.jbpt.petri.unfolding.Cut extends AbstractCut<BPNode,Condition,Event,Flow,Node,Place,Transition,Marking> implements Serializable

serialVersionUID:

-8201693541781496644L

Package org.jbpt.petri.untangling

Class org.jbpt.petri.untangling.AbstractUntanglingRun extends AbstractRun<F extends IFlow<N>,N extends INode,P extends IPlace,T extends ITransition,M extends IMarking<F,N,P,T>> implements Serializable

Serialized Fields

s2p

HashMap<K,V> s2p

i2s

HashMap<K,V> i2s

isSignificant

boolean isSignificant

Class org.jbpt.petri.untangling.UntanglingRun extends AbstractUntanglingRun<Flow,Node,Place,Transition,Marking> implements Serializable

serialVersionUID:

2583533913166868367L