Uses of Interface
org.jbpt.petri.IMarking

Packages that use IMarking

Package	Description
org.jbpt.automaton
org.jbpt.petri
org.jbpt.petri.behavior
org.jbpt.petri.querying
org.jbpt.petri.unfolding
org.jbpt.petri.unfolding.order
org.jbpt.petri.untangling
org.jbpt.petri.untangling.pss

Uses of IMarking in org.jbpt.automaton

Classes in org.jbpt.automaton with type parameters of type IMarking

Modifier and Type	Class and Description
class	AbstractAutomaton<ST extends IStateTransition<S,F,N,P,T,M>,S extends IState<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>>
class	AbstractState<F extends IFlow<N>,N extends INode,P extends IPlace,T extends ITransition,M extends IMarking<F,N,P,T>>
class	AbstractStateTransition<S extends IState<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>>
interface	IAutomaton<ST extends IStateTransition<S,F,N,P,T,M>,S extends IState<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>>
interface	IState<F extends IFlow<N>,N extends INode,P extends IPlace,T extends ITransition,M extends IMarking<F,N,P,T>>
interface	IStateTransition<S extends IState<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>>

Uses of IMarking in org.jbpt.petri

Classes in org.jbpt.petri with type parameters of type IMarking

Modifier and Type	Class and Description
class	AbstractNetSystem<F extends IFlow<N>,N extends INode,P extends IPlace,T extends ITransition,M extends IMarking<F,N,P,T>> Implementation of a net system.
class	AbstractRun<F extends IFlow<N>,N extends INode,P extends IPlace,T extends ITransition,M extends IMarking<F,N,P,T>> Implementation of a run of a net system.
class	AbstractStep<F extends IFlow<N>,N extends INode,P extends IPlace,T extends ITransition,M extends IMarking<F,N,P,T>> Implementation of a step of a net system.
interface	ICommand<F extends IFlow<N>,N extends INode,P extends IPlace,T extends ITransition,M extends IMarking<F,N,P,T>> Interface to a state change.
interface	INetSystem<F extends IFlow<N>,N extends INode,P extends IPlace,T extends ITransition,M extends IMarking<F,N,P,T>>
interface	IRun<F extends IFlow<N>,N extends INode,P extends IPlace,T extends ITransition,M extends IMarking<F,N,P,T>> Interface to a run (occurrence sequence) of an (INetSystem).
interface	IStep<F extends IFlow<N>,N extends INode,P extends IPlace,T extends ITransition,M extends IMarking<F,N,P,T>> Interface to a step in a net system.

Classes in org.jbpt.petri that implement IMarking

Modifier and Type	Class and Description
class	AbstractMarking<F extends IFlow<N>,N extends INode,P extends IPlace,T extends ITransition> Implementation of a Petri net marking.
class	Marking

Fields in org.jbpt.petri declared as IMarking

Modifier and Type	Field and Description
protected M	AbstractRun.currentMarking
protected M	AbstractRun.initialMarking
protected M	AbstractStep.inputMarking
protected M	AbstractNetSystem.marking
protected M	AbstractStep.outputMarking

Methods in org.jbpt.petri that return IMarking

Modifier and Type	Method and Description
IMarking<F,N,P,T>	IMarking.clone() Clone this marking.
IMarking<F,N,P,T>	AbstractMarking.clone()
IMarking<F,N,P,T>	INetSystem.createMarking() Create a marking of this net system.
IMarking<F,N,P,T>	AbstractNetSystem.createMarking()
IMarking<F,N,P,T>	IMarking.createMarking(IPetriNet<F,N,P,T> net) Create fresh marking and associate it with a given net.
IMarking<F,N,P,T>	AbstractMarking.createMarking(IPetriNet<F,N,P,T> net)

Uses of IMarking in org.jbpt.petri.behavior

Classes in org.jbpt.petri.behavior with type parameters of type IMarking

Modifier and Type	Class and Description
class	ProjectedStateSpace<F extends IFlow<N>,N extends INode,P extends IPlace,T extends ITransition,M extends IMarking<F,N,P,T>>
class	SimpleStateSpace<F extends IFlow<N>,N extends INode,P extends IPlace,T extends ITransition,M extends IMarking<F,N,P,T>>

Uses of IMarking in org.jbpt.petri.querying

Classes in org.jbpt.petri.querying with type parameters of type IMarking

Modifier and Type	Class and Description
class	AbstractStructuralQuerying<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>> An implementation of the IStructuralQuerying interface.
class	AbstractUntanglingBasedBehavioralQuerying<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>> An implementation of the IBehavioralQuerying interface (using untanglings).
interface	IBehavioralQuerying<F extends IFlow<N>,N extends INode,P extends IPlace,T extends ITransition,M extends IMarking<F,N,P,T>>
interface	IStructuralQuerying<F extends IFlow<N>,N extends INode,P extends IPlace,T extends ITransition,M extends IMarking<F,N,P,T>>

Uses of IMarking in org.jbpt.petri.unfolding

Classes in org.jbpt.petri.unfolding with type parameters of type IMarking

Modifier and Type	Class and Description
class	AbstractBranchingProcess<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>> Abstract implementation of a branching process of a net system.
class	AbstractCompletePrefixUnfolding<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>> (An abstract) implementation of a complete prefix unfloding of a net system. This class implements techniques described in: - Javier Esparza, Stefan Roemer, Walter Vogler: An Improvement of McMillan's Unfolding Algorithm.
class	AbstractCondition<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>>
class	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>>
class	AbstractCut<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>>
class	AbstractEvent<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>>
class	AbstractLocalConfiguration<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>>
class	AbstractOccurrenceNet<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>> Occurrence net.
class	AbstractOrderingRelationsGraph<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>> Abstract implementation of the ordering relations graph (ORGRAPH).
class	AbstractPossibleExtensions<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>>
class	AbstractProperCompletePrefixUnfolding<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>> Proper complete prefix unfolding.
interface	IBranchingProcess<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>> An interface to a Branching Process of a net system (INetSystem).
interface	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>> Interface to a complete prefix unfolding.
interface	ICondition<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>> Interface to a condition of a branching process.
interface	ICoSet<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>>
interface	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>>
interface	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>> Interface to an event of a branching process.
interface	ILocalConfiguration<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>>
interface	IOccurrenceNet<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>>
interface	IOrderingRelationsGraph<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>>
interface	IPossibleExtensions<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>>

Uses of IMarking in org.jbpt.petri.unfolding.order

Classes in org.jbpt.petri.unfolding.order with type parameters of type IMarking

Modifier and Type	Class and Description
class	AbstractEventComparator<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>>
class	AdequateOrder<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>> Adequate order (abstract class).
class	EsparzaAdequateOrderForArbitrarySystems<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>> Esparza adequate order for arbitrary systems. This adequate order is described in: Javier Esparza, Stefan Roemer, Walter Vogler: An Improvement of McMillan's Unfolding Algorithm.
class	EsparzaAdequateTotalOrderForSafeSystems<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>> Esparza adequate order for 1-safe systems (a total order).
interface	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>> Interface to an adequate order on local configurations.
class	McMillanAdequateOrder<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>> McMillan's adequate order.
class	UnfoldingAdequateOrder<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>> An adequate order which allows to simulate unfolding (maximal branching process).

Uses of IMarking in org.jbpt.petri.untangling

Classes in org.jbpt.petri.untangling with type parameters of type IMarking

Modifier and Type	Class and Description
class	AbstractBaselineRepresentativeUntangling<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>> An abstract implementation of the baseline algorithm for computing representative untanglings of net systems (INetSystem).
class	AbstractProcess<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>> An abstract implementation of the IProcess interface.
class	AbstractReductionBasedRepresentativeUntangling<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>> An abstract implementation of the reduction-based algorithm for computing representative untanglings of net systems (INetSystem).
class	AbstractRepresentativeUntangling<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>> An abstract implementation of a technique for constructing representative untanglings of net system (@link INetSystem).
class	AbstractUntanglingRun<F extends IFlow<N>,N extends INode,P extends IPlace,T extends ITransition,M extends IMarking<F,N,P,T>>
interface	IProcess<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>> An interface to a Process of a net system (INetSystem).
interface	IUntanglingRun<F extends IFlow<N>,N extends INode,P extends IPlace,T extends ITransition,M extends IMarking<F,N,P,T>>
class	TreeStep<F extends IFlow<N>,N extends INode,P extends IPlace,T extends ITransition,M extends IMarking<F,N,P,T>>
class	TreeStepIndex<F extends IFlow<N>,N extends INode,P extends IPlace,T extends ITransition,M extends IMarking<F,N,P,T>>

Methods in org.jbpt.petri.untangling that return IMarking

Modifier and Type	Method and Description
IMarking<F,N,P,T>	TreeStep.getInputMarking()
IMarking<F,N,P,T>	TreeStep.getOutputMarking()

Uses of IMarking in org.jbpt.petri.untangling.pss

Classes in org.jbpt.petri.untangling.pss with type parameters of type IMarking

Modifier and Type	Class and Description
class	AbstractProcessSetSystem<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>> An abstract implementation of the IProcessSetSystem interface.
class	AbstractProcessSystem<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>> An abstract implementation of the IProcessSystem interface.
interface	IProcessSetSystem<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>> An interface to a Process Set System.
interface	IProcessSystem<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>> An interface to a Process System.