Uses of Class
org.jbpt.petri.Marking

Packages that use Marking

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

Uses of Marking in org.jbpt.automaton

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

Constructor and Description
State(Marking marking)

Constructor parameters in org.jbpt.automaton with type arguments of type Marking

Constructor and Description
Automaton(INetSystem<Flow,Node,Place,Transition,Marking> sys)
Automaton(INetSystem<Flow,Node,Place,Transition,Marking> sys, int maxSize)

Uses of Marking in org.jbpt.petri

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

Constructor and Description
Step(IPetriNet<Flow,Node,Place,Transition> net, Marking inputMarking, Transition transition)
Step(IPetriNet<Flow,Node,Place,Transition> net, Marking inputMarking, Transition transition, Marking outputMarking)

Constructor parameters in org.jbpt.petri with type arguments of type Marking

Constructor and Description
Run(INetSystem<Flow,Node,Place,Transition,Marking> sys)

Uses of Marking in org.jbpt.petri.querying

Constructor parameters in org.jbpt.petri.querying with type arguments of type Marking

Constructor and Description
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)
NetSystemQuerying(INetSystem<Flow,Node,Place,Transition,Marking> sys, Collection<IProcess<BPNode,Condition,Event,Flow,Node,Place,Transition,Marking>> untangling)

Uses of Marking in org.jbpt.petri.unfolding

Constructor parameters in org.jbpt.petri.unfolding with type arguments of type Marking

Constructor and Description
CompletePrefixUnfolding(INetSystem<Flow,Node,Place,Transition,Marking> sys)
CompletePrefixUnfolding(INetSystem<Flow,Node,Place,Transition,Marking> sys, CompletePrefixUnfoldingSetup setup)
Event(ICompletePrefixUnfolding<BPNode,Condition,Event,Flow,Node,Place,Transition,Marking> cpu, Transition transition, ICoSet<BPNode,Condition,Event,Flow,Node,Place,Transition,Marking> preset)
Event(ICompletePrefixUnfolding<BPNode,Condition,Event,Flow,Node,Place,Transition,Marking> cpu, Transition transition, ICoSet<BPNode,Condition,Event,Flow,Node,Place,Transition,Marking> preset)
OccurrenceNet(ICompletePrefixUnfolding<BPNode,Condition,Event,Flow,Node,Place,Transition,Marking> unf)
OrderingRelationsGraph(IBranchingProcess<BPNode,Condition,Event,Flow,Node,Place,Transition,Marking> bp)
ProperCompletePrefixUnfolding(INetSystem<Flow,Node,Place,Transition,Marking> sys)
ProperCompletePrefixUnfolding(INetSystem<Flow,Node,Place,Transition,Marking> sys, CompletePrefixUnfoldingSetup setup)

Uses of Marking in org.jbpt.petri.untangling

Constructor parameters in org.jbpt.petri.untangling with type arguments of type Marking

Constructor and Description
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)
UntanglingRun(INetSystem<Flow,Node,Place,Transition,Marking> sys)

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

Constructor parameters in org.jbpt.petri.untangling.pss with type arguments of type Marking

Constructor and Description
ProcessSetSystem(INetSystem<Flow,Node,Place,Transition,Marking> sys, Collection<IProcess<BPNode,Condition,Event,Flow,Node,Place,Transition,Marking>> pis)
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)
ProcessSystem(INetSystem<Flow,Node,Place,Transition,Marking> sys, IProcess<BPNode,Condition,Event,Flow,Node,Place,Transition,Marking> pi)