Uses of Interface
org.jbpt.petri.INetSystem

Packages that use INetSystem

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

Uses of INetSystem in org.jbpt.automaton

Methods in org.jbpt.automaton that return INetSystem

Modifier and Type	Method and Description
INetSystem<F,N,P,T,M>	IAutomaton.getNetSystem()
INetSystem<F,N,P,T,M>	AbstractAutomaton.getNetSystem()

Methods in org.jbpt.automaton with parameters of type INetSystem

Modifier and Type	Method and Description
void	IAutomaton.construct(INetSystem<F,N,P,T,M> sys, int maxSize)
void	AbstractAutomaton.construct(INetSystem<F,N,P,T,M> sys, int maxSize)

Constructors in org.jbpt.automaton with parameters of type INetSystem

Constructor and Description
AbstractAutomaton(INetSystem<F,N,P,T,M> sys)
AbstractAutomaton(INetSystem<F,N,P,T,M> sys, int maxSize)
Automaton(INetSystem<Flow,Node,Place,Transition,Marking> sys)
Automaton(INetSystem<Flow,Node,Place,Transition,Marking> sys, int maxSize)

Uses of INetSystem in org.jbpt.petri

Classes in org.jbpt.petri that implement INetSystem

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	NetSystem Implementation of a net system.

Fields in org.jbpt.petri declared as INetSystem

Modifier and Type	Field and Description
protected INetSystem<F,N,P,T,M>	AbstractRun.sys

Methods in org.jbpt.petri that return INetSystem

Modifier and Type	Method and Description
INetSystem<F,N,P,T,M>	INetSystem.clone() Clone this net system.
INetSystem<F,N,P,T,M>	AbstractNetSystem.clone()
INetSystem<F,N,P,T,M>	INetSystem.clone(Map<N,N> map) Clone this net system.
INetSystem<F,N,P,T,M>	AbstractNetSystem.clone(Map<N,N> map)

Methods in org.jbpt.petri with parameters of type INetSystem

Modifier and Type	Method and Description
void	IRun.setNetSystem(INetSystem<F,N,P,T,M> system) Set net system of this run.
void	AbstractRun.setNetSystem(INetSystem<F,N,P,T,M> system)

Constructors in org.jbpt.petri with parameters of type INetSystem

Constructor and Description
AbstractRun(INetSystem<F,N,P,T,M> sys)
Run(INetSystem<Flow,Node,Place,Transition,Marking> sys)

Uses of INetSystem in org.jbpt.petri.behavior

Fields in org.jbpt.petri.behavior declared as INetSystem

Modifier and Type	Field and Description
protected INetSystem<F,N,P,T,M>	SimpleStateSpace.netSystem
protected INetSystem<F,N,P,T,M>	ProjectedStateSpace.netSystem

Constructors in org.jbpt.petri.behavior with parameters of type INetSystem

Constructor and Description
ProjectedStateSpace(INetSystem<F,N,P,T,M> netSystem, Set<T> projectionSet)
SimpleStateSpace(INetSystem<F,N,P,T,M> netSystem)

Uses of INetSystem in org.jbpt.petri.querying

Fields in org.jbpt.petri.querying declared as INetSystem

Modifier and Type	Field and Description
protected INetSystem<F,N,P,T,M>	AbstractStructuralQuerying.sys

Methods in org.jbpt.petri.querying that return INetSystem

Modifier and Type	Method and Description
INetSystem<F,N,P,T,M>	AbstractStructuralQuerying.getNetSystem()

Constructors in org.jbpt.petri.querying with parameters of type INetSystem

Constructor and Description
AbstractStructuralQuerying(INetSystem<F,N,P,T,M> sys)
AbstractUntanglingBasedBehavioralQuerying(INetSystem<F,N,P,T,M> sys)
AbstractUntanglingBasedBehavioralQuerying(INetSystem<F,N,P,T,M> sys, Collection<IProcess<BPN,C,E,F,N,P,T,M>> untangling)
NetSystemQuerying(INetSystem<Flow,Node,Place,Transition,Marking> sys)
NetSystemQuerying(INetSystem<Flow,Node,Place,Transition,Marking> sys, Collection<IProcess<BPNode,Condition,Event,Flow,Node,Place,Transition,Marking>> untangling)

Uses of INetSystem in org.jbpt.petri.unfolding

Fields in org.jbpt.petri.unfolding declared as INetSystem

Modifier and Type	Field and Description
protected INetSystem<F,N,P,T,M>	AbstractBranchingProcess.sys

Methods in org.jbpt.petri.unfolding that return INetSystem

Modifier and Type	Method and Description
INetSystem<F,N,P,T,M>	IBranchingProcess.getOriginativeNetSystem() Get originative net system of this branching process.
INetSystem<F,N,P,T,M>	AbstractBranchingProcess.getOriginativeNetSystem()

Methods in org.jbpt.petri.unfolding with parameters of type INetSystem

Modifier and Type	Method and Description
void	IBranchingProcess.setNetSystem(INetSystem<F,N,P,T,M> system) Set net system of this branching process.
void	AbstractBranchingProcess.setNetSystem(INetSystem<F,N,P,T,M> system)

Constructors in org.jbpt.petri.unfolding with parameters of type INetSystem

Constructor and Description
AbstractBranchingProcess(INetSystem<F,N,P,T,M> sys)
AbstractCompletePrefixUnfolding(INetSystem<F,N,P,T,M> sys) Constructor with default setup.
AbstractCompletePrefixUnfolding(INetSystem<F,N,P,T,M> sys, CompletePrefixUnfoldingSetup setup) Constructor with specified setup.
AbstractProperCompletePrefixUnfolding(INetSystem<F,N,P,T,M> sys)
AbstractProperCompletePrefixUnfolding(INetSystem<F,N,P,T,M> sys, CompletePrefixUnfoldingSetup setup)
CompletePrefixUnfolding(INetSystem<Flow,Node,Place,Transition,Marking> sys)
CompletePrefixUnfolding(INetSystem<Flow,Node,Place,Transition,Marking> sys, CompletePrefixUnfoldingSetup setup)
ProperCompletePrefixUnfolding(INetSystem<Flow,Node,Place,Transition,Marking> sys)
ProperCompletePrefixUnfolding(INetSystem<Flow,Node,Place,Transition,Marking> sys, CompletePrefixUnfoldingSetup setup)

Uses of INetSystem in org.jbpt.petri.untangling

Fields in org.jbpt.petri.untangling declared as INetSystem

Modifier and Type	Field and Description
protected INetSystem<F,N,P,T,M>	AbstractRepresentativeUntangling.reducedSys
protected INetSystem<F,N,P,T,M>	AbstractRepresentativeUntangling.sys

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

Modifier and Type	Method and Description
INetSystem<F,N,P,T,M>	AbstractRepresentativeUntangling.getReducedNetSystem()

Methods in org.jbpt.petri.untangling with parameters of type INetSystem

Modifier and Type	Method and Description
protected void	AbstractRepresentativeUntangling.constructRuns(INetSystem<F,N,P,T,M> system) Construct maximal repetition significant runs of a given net system.
protected void	AbstractReductionBasedRepresentativeUntangling.constructRuns(INetSystem<F,N,P,T,M> system)
protected void	AbstractBaselineRepresentativeUntangling.constructRuns(INetSystem<F,N,P,T,M> system)
protected IProcess<BPN,C,E,F,N,P,T,M>	AbstractRepresentativeUntangling.createProcess(INetSystem<F,N,P,T,M> sys)
protected IRun<F,N,P,T,M>	AbstractRepresentativeUntangling.createRun(INetSystem<F,N,P,T,M> sys)
protected IUntanglingRun<F,N,P,T,M>	AbstractRepresentativeUntangling.createUntanglingRun(INetSystem<F,N,P,T,M> sys)
protected Map<F,List<N>>	AbstractReductionBasedRepresentativeUntangling.reduce(INetSystem<F,N,P,T,M> system)

Constructors in org.jbpt.petri.untangling with parameters of type INetSystem

Constructor and Description
AbstractBaselineRepresentativeUntangling(INetSystem<F,N,P,T,M> sys) Constructor of a representative untangling.
AbstractBaselineRepresentativeUntangling(INetSystem<F,N,P,T,M> sys, UntanglingSetup setup)
AbstractProcess(INetSystem<F,N,P,T,M> sys) Construct a process of a given net system.
AbstractReductionBasedRepresentativeUntangling(INetSystem<F,N,P,T,M> sys) Constructor of a representative untangling.
AbstractReductionBasedRepresentativeUntangling(INetSystem<F,N,P,T,M> sys, UntanglingSetup setup)
AbstractRepresentativeUntangling(INetSystem<F,N,P,T,M> sys)
AbstractRepresentativeUntangling(INetSystem<F,N,P,T,M> sys, UntanglingSetup setup) Constructor of a representative untangling.
AbstractUntanglingRun(INetSystem<F,N,P,T,M> sys)
BaselineRepresentativeUntangling(INetSystem<Flow,Node,Place,Transition,Marking> sys)
BaselineRepresentativeUntangling(INetSystem<Flow,Node,Place,Transition,Marking> sys, UntanglingSetup setup)
Process(INetSystem<Flow,Node,Place,Transition,Marking> sys) Construct a process of a net system.
ReductionBasedRepresentativeUntangling(INetSystem<Flow,Node,Place,Transition,Marking> sys)
ReductionBasedRepresentativeUntangling(INetSystem<Flow,Node,Place,Transition,Marking> sys, UntanglingSetup setup)
TreeStep(INetSystem<F,N,P,T,M> system, TreeStep<F,N,P,T,M> parent, M inputMarking, T transition, M outputMarking, int position)
UntanglingRun(INetSystem<Flow,Node,Place,Transition,Marking> sys)

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

Methods in org.jbpt.petri.untangling.pss that return INetSystem

Modifier and Type	Method and Description
INetSystem<F,N,P,T,M>	IProcessSystem.getNetSystem() Get net system.
INetSystem<F,N,P,T,M>	IProcessSetSystem.getNetSystem()
INetSystem<F,N,P,T,M>	AbstractProcessSystem.getNetSystem()
INetSystem<F,N,P,T,M>	AbstractProcessSetSystem.getNetSystem()

Methods in org.jbpt.petri.untangling.pss with parameters of type INetSystem

Modifier and Type	Method and Description
void	IProcessSystem.setSystem(INetSystem<F,N,P,T,M> sys) Set net system.
void	AbstractProcessSystem.setSystem(INetSystem<F,N,P,T,M> sys)

Constructors in org.jbpt.petri.untangling.pss with parameters of type INetSystem

Constructor and Description
AbstractProcessSetSystem(INetSystem<F,N,P,T,M> sys, Collection<IProcess<BPN,C,E,F,N,P,T,M>> pis)
AbstractProcessSystem(INetSystem<F,N,P,T,M> sys, IProcess<BPN,C,E,F,N,P,T,M> pi)
ProcessSetSystem(INetSystem<Flow,Node,Place,Transition,Marking> sys, Collection<IProcess<BPNode,Condition,Event,Flow,Node,Place,Transition,Marking>> pis)
ProcessSystem(INetSystem<Flow,Node,Place,Transition,Marking> sys, IProcess<BPNode,Condition,Event,Flow,Node,Place,Transition,Marking> pi)