HotPathAnalysis

```
public class HotPathAnalysis
extends java.lang.Object
```
Provides static analysis for the hottest path of a ProcessModel.

Constructors
Constructor and Description
`HotPathAnalysis()`

All Methods Static Methods Instance Methods Concrete Methods
Modifier and Type	Method and Description
`static java.util.Set<Place>`	`getInitialPlaces(PetriNetModel model)`
`static java.util.Set<ProcessNode>`	`getPostSet(ProcessNode currentNode, PetriNetModel model)`
`void`	`highlightHottestPath(PetriNetModel model)`

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

public void highlightHottestPath(PetriNetModel model)

public static java.util.Set<ProcessNode> getPostSet(ProcessNode currentNode,
                                                    PetriNetModel model)

public static java.util.Set<Place> getInitialPlaces(PetriNetModel model)

Class HotPathAnalysis