| Package | Description |
|---|---|
| org.jbpt.petri.unfolding | |
| org.jbpt.petri.untangling |
| 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 |
BranchingProcess |
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 | Class and Description |
|---|---|
class |
AbstractProcess<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 the
IProcess interface. |
class |
Process
An implementation of the
IProcess interface. |
Copyright © 2017. All rights reserved.