PetriNetEngine

java.lang.Object
- net.frapu.code.simulation.petrinets.PetriNetEngine

public class PetriNetEngine
extends java.lang.Object

Field Summary

Fields
Modifier and Type	Field and Description
`java.util.Set<PetriNetEngineListener>`	`listeners` The set of listeners for this engine
`static java.lang.String`	`PROP_TOKEN_LAST_TICK` Token property for storing the latest update (time-tick) for a token
`static java.lang.String`	`PROP_TOKEN_TIME` Token property for storing the actual working time for a token
`static java.lang.String`	`PROP_TOKEN_WAIT_TIME` Token property for storing the waiting time for a token

Constructor Summary

Constructors
Constructor and Description

PetriNetEngine(PetriNetModel m)
Creates a new Petri net engine.

Constructors
Constructor and Description
`PetriNetEngine(PetriNetModel m)` Creates a new Petri net engine.

Method Summary

All Methods Static Methods Instance Methods Concrete Methods
Modifier and Type	Method and Description
`void`	`addListener(PetriNetEngineListener listener)` Adds a PetriNetEngineListener to this engine.
`protected void`	`addTicks(int tickCounts)` Adds a given number of ticks.
`java.util.Set<Transition>`	`calculateEnabledTransitions(int processInstance)` Calculates and highlights the enabled Transitions for a given process instance.
`void`	`clearEnabledTransitionHighlights()`
`static int`	`convertTimeToTicks(java.lang.String time)` Converts a time stamp to ticks
`void`	`fireTransition(Transition t, int processInstance)` Fire a transition for a certain process instance.
`java.util.Map<java.lang.String,java.lang.String>`	`getAllInstancesCosts()` Returns the current instance costs of all instances.
`Token`	`getCurrentLongestWaitingToken(Place p)`
`java.util.Set<Token>`	`getCurrentTokens(int processInstance)` Returns the current tokens of a specific process instance.
`boolean`	`getHighlightEnabledTransitions()`
`double`	`getInstanceCost(int processInstance)`
`Token`	`getLongestWaitingToken(Place p)`
`java.util.List<Place>`	`getPostSet(Transition t)` Returns the postset of a transition.
`java.util.List<Predecessor>`	`getPredecessors(Transition t)`
`java.util.List<Place>`	`getPreSet(Transition t, java.lang.Class<?> edgeType)` Returns the preset of a transition.
`Token`	`getShortestWaitingToken(Place p)`
`int`	`getTicks()` Returns the current tick count of the engine.
`static int`	`getTicksOfDay(int ticks)` Returns the tick count for the current day; i.e. substracting all ticks from prior days
`boolean`	`isTimingEnabled()`
`boolean`	`isTurboMode()`
`boolean`	`isWaitingEmpty()` Returns true if the waiting list is empty (for time-ticks)
`void`	`removeListener(PetriNetEngineListener listener)` Removes a PetriNetEngineListener from this engine.
`void`	`resetEngine()` Resets the current instance costs for all instances.
`void`	`setHighlightEnabledTransitions(boolean b)`
`void`	`setTimingEnabled(boolean timingEnabled)`
`void`	`setTurboMode(boolean turbo)`
`void`	`tick()` Processes the waiting list and adds Tokens to the postsets

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

- Field Detail
  - PROP_TOKEN_TIME
```
public static final java.lang.String PROP_TOKEN_TIME
```
    Token property for storing the actual working time for a token
    
    See Also:
    
    Constant Field Values
  - PROP_TOKEN_WAIT_TIME
```
public static final java.lang.String PROP_TOKEN_WAIT_TIME
```
    Token property for storing the waiting time for a token
    
    See Also:
    
    Constant Field Values
  - PROP_TOKEN_LAST_TICK
```
public static final java.lang.String PROP_TOKEN_LAST_TICK
```
    Token property for storing the latest update (time-tick) for a token
    
    See Also:
    
    Constant Field Values
  - listeners
```
public java.util.Set<PetriNetEngineListener> listeners
```
    The set of listeners for this engine
- Constructor Detail
  - PetriNetEngine
```
public PetriNetEngine(PetriNetModel m)
```
    Creates a new Petri net engine.
    
    Parameters:
    
    m -
- Method Detail
  - isTurboMode
```
public boolean isTurboMode()
```
  - setTurboMode
```
public void setTurboMode(boolean turbo)
```
  - isTimingEnabled
```
public boolean isTimingEnabled()
```
  - setTimingEnabled
```
public void setTimingEnabled(boolean timingEnabled)
```
  - calculateEnabledTransitions
```
public java.util.Set<Transition> calculateEnabledTransitions(int processInstance)
```
    Calculates and highlights the enabled Transitions for a given process instance.
    
    Parameters:
    
    processInstance - The process instance id.
  - clearEnabledTransitionHighlights
```
public void clearEnabledTransitionHighlights()
```
  - getCurrentTokens
```
public java.util.Set<Token> getCurrentTokens(int processInstance)
```
    Returns the current tokens of a specific process instance.
    
    Parameters:
    
    processInstance -
    
    Returns:
  - getPreSet
```
public java.util.List<Place> getPreSet(Transition t,
                                       java.lang.Class<?> edgeType)
```
    Returns the preset of a transition.
    
    Parameters:
    
    t -
    
    Returns:
  - getPostSet
```
public java.util.List<Place> getPostSet(Transition t)
```
    Returns the postset of a transition.
    
    Parameters:
    
    t -
    
    Returns:
  - getLongestWaitingToken
```
public Token getLongestWaitingToken(Place p)
```
  - getShortestWaitingToken
```
public Token getShortestWaitingToken(Place p)
```
  - getCurrentLongestWaitingToken
```
public Token getCurrentLongestWaitingToken(Place p)
```
  - fireTransition
```
public void fireTransition(Transition t,
                           int processInstance)
```
    Fire a transition for a certain process instance.
    
    Parameters:
    
    t -
    
    processInstance -
  - tick
```
public void tick()
```
    Processes the waiting list and adds Tokens to the postsets
  - isWaitingEmpty
```
public boolean isWaitingEmpty()
```
    Returns true if the waiting list is empty (for time-ticks)
  - getHighlightEnabledTransitions
```
public boolean getHighlightEnabledTransitions()
```
  - setHighlightEnabledTransitions
```
public void setHighlightEnabledTransitions(boolean b)
```
  - getAllInstancesCosts
```
public java.util.Map<java.lang.String,java.lang.String> getAllInstancesCosts()
```
    Returns the current instance costs of all instances.
    
    Returns:
  - getInstanceCost
```
public double getInstanceCost(int processInstance)
```
  - getTicks
```
public int getTicks()
```
    Returns the current tick count of the engine.
    
    Returns:
  - addTicks
```
protected void addTicks(int tickCounts)
```
    Adds a given number of ticks.
  - addListener
```
public void addListener(PetriNetEngineListener listener)
```
    Adds a PetriNetEngineListener to this engine.
    
    Parameters:
    
    listener -
  - removeListener
```
public void removeListener(PetriNetEngineListener listener)
```
    Removes a PetriNetEngineListener from this engine.
    
    Parameters:
    
    listener -
  - resetEngine
```
public void resetEngine()
```
    Resets the current instance costs for all instances.
  - convertTimeToTicks
```
public static int convertTimeToTicks(java.lang.String time)
```
    Converts a time stamp to ticks
    
    Parameters:
    
    time - - HHMM
    
    Returns:
  - getTicksOfDay
```
public static int getTicksOfDay(int ticks)
```
    Returns the tick count for the current day; i.e. substracting all ticks from prior days
    
    Parameters:
    
    ticks -
    
    Returns:
  - getPredecessors
```
public java.util.List<Predecessor> getPredecessors(Transition t)
```

Class PetriNetEngine

Field Summary

Constructor Summary

Method Summary

Methods inherited from class java.lang.Object

Field Detail

PROP_TOKEN_TIME

PROP_TOKEN_WAIT_TIME

PROP_TOKEN_LAST_TICK

listeners

Constructor Detail

PetriNetEngine

Method Detail

isTurboMode

setTurboMode

isTimingEnabled

setTimingEnabled

calculateEnabledTransitions

clearEnabledTransitionHighlights

getCurrentTokens

getPreSet

getPostSet

getLongestWaitingToken

getShortestWaitingToken

getCurrentLongestWaitingToken

fireTransition

tick

isWaitingEmpty

getHighlightEnabledTransitions

setHighlightEnabledTransitions

getAllInstancesCosts

getInstanceCost

getTicks

addTicks

addListener

removeListener

resetEngine

convertTimeToTicks

getTicksOfDay

getPredecessors