| Package | Description |
|---|---|
| org.jbpt.petri.unfolding |
| Modifier and Type | Class and Description |
|---|---|
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 |
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.
|
class |
CompletePrefixUnfolding
An implementation of a complete prefix unfloding of a net system.
|
class |
ProperCompletePrefixUnfolding |
class |
SoundUnfolding
Unfolding for soundness checks
Proof of concept - must be improved
|
class |
SoundUnfoldingMSMS
Unfolding for soundness checks (multi-source-multi-sink nets)
|
| Modifier and Type | Method and Description |
|---|---|
ICompletePrefixUnfolding<BPN,C,E,F,N,P,T,M> |
IOccurrenceNet.getCompletePrefixUnfolding() |
ICompletePrefixUnfolding<BPN,C,E,F,N,P,T,M> |
AbstractOccurrenceNet.getCompletePrefixUnfolding() |
| Modifier and Type | Method and Description |
|---|---|
void |
IOccurrenceNet.setCompletePrefixUnfolding(ICompletePrefixUnfolding<BPN,C,E,F,N,P,T,M> cpu) |
void |
ILocalConfiguration.setCompletePrefixUnfolding(ICompletePrefixUnfolding<BPN,C,E,F,N,P,T,M> cpf) |
void |
IEvent.setCompletePrefixUnfolding(ICompletePrefixUnfolding<BPN,C,E,F,N,P,T,M> cpf) |
void |
AbstractOccurrenceNet.setCompletePrefixUnfolding(ICompletePrefixUnfolding<BPN,C,E,F,N,P,T,M> cpu) |
void |
AbstractLocalConfiguration.setCompletePrefixUnfolding(ICompletePrefixUnfolding<BPN,C,E,F,N,P,T,M> cpu) |
void |
AbstractEvent.setCompletePrefixUnfolding(ICompletePrefixUnfolding<BPN,C,E,F,N,P,T,M> cpu) |
| Constructor and Description |
|---|
AbstractEvent(ICompletePrefixUnfolding<BPN,C,E,F,N,P,T,M> cpu,
T transition,
ICoSet<BPN,C,E,F,N,P,T,M> preset)
Constructor.
|
AbstractLocalConfiguration(ICompletePrefixUnfolding<BPN,C,E,F,N,P,T,M> cpu,
E e) |
AbstractOccurrenceNet(ICompletePrefixUnfolding<BPN,C,E,F,N,P,T,M> cpu) |
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) |
Copyright © 2017. All rights reserved.