org.processmining.framework.models.petrinet.algorithms
Class Woflan

java.lang.Object
  extended by org.processmining.framework.models.petrinet.algorithms.Woflan

public class Woflan
extends java.lang.Object


Field Summary
 int InfoDeadTName
           
 int InfoInhLC
           
 int InfoInhPJ
           
 int InfoInhPP
           
 int InfoInhPT
           
 int InfoName
           
 int InfoNamePostP
           
 int InfoNamePreP
           
 int InfoNFCCNName
           
 int InfoNFCCNofN
           
 int InfoNLiveSNofT
           
 int InfoNLiveSTName
           
 int InfoNLiveTName
           
 int InfoNofC
           
 int InfoNofDeadT
           
 int InfoNofNFCC
           
 int InfoNofNLiveS
           
 int InfoNofNLiveT
           
 int InfoNofNotPInv
           
 int InfoNofNotSCom
           
 int InfoNofNotSPIn
           
 int InfoNofP
           
 int InfoNofPInv
           
 int InfoNofPostP
           
 int InfoNofPotSTIn
           
 int InfoNofPotTInv
           
 int InfoNofPreP
           
 int InfoNofPTH
           
 int InfoNofSCom
           
 int InfoNofSncN
           
 int InfoNofSnkP
           
 int InfoNofSnkT
           
 int InfoNofSPIn
           
 int InfoNofSrcP
           
 int InfoNofSrcT
           
 int InfoNofSTIn
           
 int InfoNofT
           
 int InfoNofTInv
           
 int InfoNofTPH
           
 int InfoNofUnbP
           
 int InfoNofUnbS
           
 int InfoNofUncN
           
 int InfoNotPInvPName
           
 int InfoNotSComNName
           
 int InfoNotSPInPName
           
 int InfoNotSTInPName
           
 int InfoNotTInvPName
           
 int InfoPInvNofP
           
 int InfoPInvPName
           
 int InfoPInvPWeight
           
 int InfoPName
           
 int InfoPTHN1Name
           
 int InfoPTHN2Name
           
 int InfoPTHNofN1
           
 int InfoPTHNofN2
           
 int InfoSComNName
           
 int InfoSComNofN
           
 int InfoSncNName
           
 int InfoSnkPName
           
 int InfoSnkTName
           
 int InfoSPInNofP
           
 int InfoSPInPName
           
 int InfoSPInPWeight
           
 int InfoSrcPName
           
 int InfoSrcTName
           
 int InfoSTInNofP
           
 int InfoSTInPName
           
 int InfoSTInPWeight
           
 int InfoTInvNofP
           
 int InfoTInvPName
           
 int InfoTInvPWeight
           
 int InfoTName
           
 int InfoTPHN1Name
           
 int InfoTPHN2Name
           
 int InfoTPHNofN1
           
 int InfoTPHNofN2
           
 int InfoUnbPName
           
 int InfoUnbSNofT
           
 int InfoUnbSTName
           
 int InfoUncNName
           
 java.lang.String SCTransition
           
 int SetInh
           
 int SetMurata
           
 int SetNFCC
           
 int SetNLive
           
 int SetPInv
           
 int SetPTH
           
 int SetSCom
           
 int SetSPIn
           
 int SetSTIn
           
 int SetSUnc
           
 int SetTInv
           
 int SetTPH
           
 int SetUnb
           
 java.lang.String SilentLabel
           
 
Constructor Summary
Woflan()
           
 
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
 

Field Detail

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
Constructor Detail

Woflan

public Woflan()
Method Detail

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 net
theInfo - 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)