| 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 | |
| org.jbpt.petri.wftree |
| Constructor and Description |
|---|
Automaton(INetSystem<Flow,Node,Place,Transition,Marking> sys) |
Automaton(INetSystem<Flow,Node,Place,Transition,Marking> sys,
int maxSize) |
| Modifier and Type | Field and Description |
|---|---|
static DirectedGraphAlgorithms<Flow,Node> |
PetriNet.DIRECTED_GRAPH_ALGORITHMS |
static PetriNetStructuralChecks<Flow,Node,Place,Transition> |
PetriNet.STRUCTURAL_CHECKS |
static PetriNetTransformations<Flow,Node,Place,Transition> |
PetriNet.TRANSFORMATIONS |
| Modifier and Type | Method and Description |
|---|---|
Flow |
PetriNet.addFlow(Node from,
Node to) |
Flow |
NetSystem.addFlow(Node from,
Node to) |
| Constructor and Description |
|---|
Marking(IPetriNet<Flow,Node,Place,Transition> net) |
Run(INetSystem<Flow,Node,Place,Transition,Marking> sys) |
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 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) |
| Modifier and Type | Method and Description |
|---|---|
Flow |
OccurrenceNet.addFlow(Node from,
Node to) |
| 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) |
| 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) |
| Constructor and Description |
|---|
WFTree(IPetriNet<Flow,Node,Place,Transition> net) |
Copyright © 2017. All rights reserved.