org.processmining.framework.models.petrinet.algorithms
Class Woflan
java.lang.Object
org.processmining.framework.models.petrinet.algorithms.Woflan
public class Woflan
- extends java.lang.Object
Method Summary |
int |
Close(int theNet)
Unload a loaded net. |
java.lang.String |
Info(int theNet,
int theInfo,
int theIndex,
int theSubIndex)
Request property information on a loaded net. |
static void |
main(java.lang.String[] args)
|
int |
Open(java.lang.String theFileName)
Load a net in Woflan. |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
SCTransition
public java.lang.String SCTransition
SilentLabel
public java.lang.String SilentLabel
InfoName
public int InfoName
InfoNofP
public int InfoNofP
InfoNofT
public int InfoNofT
InfoNofC
public int InfoNofC
InfoPName
public int InfoPName
InfoTName
public int InfoTName
InfoNofPreP
public int InfoNofPreP
InfoNofPostP
public int InfoNofPostP
InfoNamePreP
public int InfoNamePreP
InfoNamePostP
public int InfoNamePostP
InfoNofSrcP
public int InfoNofSrcP
InfoNofSnkP
public int InfoNofSnkP
InfoNofSrcT
public int InfoNofSrcT
InfoNofSnkT
public int InfoNofSnkT
InfoNofUncN
public int InfoNofUncN
InfoNofSncN
public int InfoNofSncN
InfoSrcPName
public int InfoSrcPName
InfoSnkPName
public int InfoSnkPName
InfoSrcTName
public int InfoSrcTName
InfoSnkTName
public int InfoSnkTName
InfoUncNName
public int InfoUncNName
InfoSncNName
public int InfoSncNName
SetSUnc
public int SetSUnc
SetNFCC
public int SetNFCC
InfoNofNFCC
public int InfoNofNFCC
InfoNFCCNofN
public int InfoNFCCNofN
InfoNFCCNName
public int InfoNFCCNName
SetPTH
public int SetPTH
InfoNofPTH
public int InfoNofPTH
InfoPTHNofN1
public int InfoPTHNofN1
InfoPTHNofN2
public int InfoPTHNofN2
InfoPTHN1Name
public int InfoPTHN1Name
InfoPTHN2Name
public int InfoPTHN2Name
SetTPH
public int SetTPH
InfoNofTPH
public int InfoNofTPH
InfoTPHNofN1
public int InfoTPHNofN1
InfoTPHNofN2
public int InfoTPHNofN2
InfoTPHN1Name
public int InfoTPHN1Name
InfoTPHN2Name
public int InfoTPHN2Name
SetSCom
public int SetSCom
InfoNofSCom
public int InfoNofSCom
InfoNofNotSCom
public int InfoNofNotSCom
InfoSComNofN
public int InfoSComNofN
InfoSComNName
public int InfoSComNName
InfoNotSComNName
public int InfoNotSComNName
SetPInv
public int SetPInv
InfoNofPInv
public int InfoNofPInv
InfoNofNotPInv
public int InfoNofNotPInv
InfoPInvNofP
public int InfoPInvNofP
InfoPInvPName
public int InfoPInvPName
InfoPInvPWeight
public int InfoPInvPWeight
InfoNotPInvPName
public int InfoNotPInvPName
SetSPIn
public int SetSPIn
InfoNofSPIn
public int InfoNofSPIn
InfoNofNotSPIn
public int InfoNofNotSPIn
InfoSPInNofP
public int InfoSPInNofP
InfoSPInPName
public int InfoSPInPName
InfoSPInPWeight
public int InfoSPInPWeight
InfoNotSPInPName
public int InfoNotSPInPName
SetTInv
public int SetTInv
InfoNofTInv
public int InfoNofTInv
InfoNofPotTInv
public int InfoNofPotTInv
InfoTInvNofP
public int InfoTInvNofP
InfoTInvPName
public int InfoTInvPName
InfoTInvPWeight
public int InfoTInvPWeight
InfoNotTInvPName
public int InfoNotTInvPName
SetSTIn
public int SetSTIn
InfoNofSTIn
public int InfoNofSTIn
InfoNofPotSTIn
public int InfoNofPotSTIn
InfoSTInNofP
public int InfoSTInNofP
InfoSTInPName
public int InfoSTInPName
InfoSTInPWeight
public int InfoSTInPWeight
InfoNotSTInPName
public int InfoNotSTInPName
SetUnb
public int SetUnb
InfoNofUnbP
public int InfoNofUnbP
InfoUnbPName
public int InfoUnbPName
InfoNofUnbS
public int InfoNofUnbS
InfoUnbSNofT
public int InfoUnbSNofT
InfoUnbSTName
public int InfoUnbSTName
SetNLive
public int SetNLive
InfoNofDeadT
public int InfoNofDeadT
InfoDeadTName
public int InfoDeadTName
InfoNofNLiveT
public int InfoNofNLiveT
InfoNLiveTName
public int InfoNLiveTName
InfoNofNLiveS
public int InfoNofNLiveS
InfoNLiveSNofT
public int InfoNLiveSNofT
InfoNLiveSTName
public int InfoNLiveSTName
SetInh
public int SetInh
InfoInhPT
public int InfoInhPT
InfoInhPJ
public int InfoInhPJ
InfoInhPP
public int InfoInhPP
InfoInhLC
public int InfoInhLC
SetMurata
public int SetMurata
Woflan
public Woflan()
Open
public int Open(java.lang.String theFileName)
- Load a net in Woflan.
- Parameters:
theFileName
- The full path to the file containing the Petri net to be loaded.
- Returns:
- Handle to the loaded Petri net.
Close
public int Close(int theNet)
- Unload a loaded net.
- Parameters:
theNet
- The handle of the net to be unloaded.
- Returns:
- Not used.
Info
public java.lang.String Info(int theNet,
int theInfo,
int theIndex,
int theSubIndex)
- Request property information on a loaded net.
- Parameters:
theNet
- Handle to the loaded nettheInfo
- The kind of info requested, see below.theIndex
- Some requests require an additional index, see below.theSubIndex
- Some requests also require a second index, see below.
- Returns:
- A string holding the requested property information.
main
public static void main(java.lang.String[] args)