| 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 | |
| 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 | Class and Description |
|---|---|
class |
Place
Implementation of a Petri net place.
|
class |
Transition
Implementation of a Petri net transition.
|
| 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 |
|---|
Flow(AbstractDirectedGraph<?,Node> g,
Node source,
Node target) |
| Constructor and Description |
|---|
Flow(AbstractDirectedGraph<?,Node> g,
Node source,
Node target) |
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) |
| Modifier and Type | Method and Description |
|---|---|
boolean |
ConcurrencyRelation.areConcurrent(Node n1,
Node n2)
Returns whether there exists a state in which
both nodes are enabled / marked concurrently.
|
protected boolean |
ConcurrencyRelation.nodeConcurrentToNodes(Node n,
Collection<Node> nodes)
Checks whether a given node is concurrent to all nodes given in
a collection of nodes.
|
protected void |
ConcurrencyRelation.setNodeConcurrentToNodes(Node n,
Collection<Node> nodes)
Set all a node and all nodes in a collection concurrent.
|
protected void |
ConcurrencyRelation.setNodesConcurrent(Node n1,
Node n2)
Set two nodes concurrent in the concurrency matrix.s
|
| Modifier and Type | Method and Description |
|---|---|
protected void |
ConcurrencyRelation.addAllCombinations(Set<org.jbpt.petri.behavior.ConcurrencyRelation.NodePair> combinations,
List<Node> nodes) |
protected boolean |
ConcurrencyRelation.nodeConcurrentToNodes(Node n,
Collection<Node> nodes)
Checks whether a given node is concurrent to all nodes given in
a collection of nodes.
|
protected void |
ConcurrencyRelation.setAllNodesConcurrent(Collection<Node> nodes)
Set all nodes pairwise concurrent in the concurrency matrix.
|
protected void |
ConcurrencyRelation.setNodeConcurrentToNodes(Node n,
Collection<Node> nodes)
Set all a node and all nodes in a collection concurrent.
|
| 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 |
|---|---|
Set<Node> |
OccurrenceNet.getSinkNodes() |
Set<Node> |
OccurrenceNet.getSourceNodes() |
| 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.