org.processmining.framework.models.petrinet.algorithms
Class ReachabilityGraphBuilder
java.lang.Object
org.processmining.framework.models.petrinet.algorithms.ReachabilityGraphBuilder
public class ReachabilityGraphBuilder
- extends java.lang.Object
Title: ReachabilityGraphBuilder
Description: This static class provides an implemantation to build the reachabilitygraph of a
PetriNet, given an initial marking. Please note thatt this reachability graph can be infinite and
therefore, the algorithm is not guaranteed to terminate. However, if the PetriNet is bounded, then the
reachabilitygraph is finite.
Copyright: Copyright (c) 2004
Company: Technische Universiteit Eindhoven
- Version:
- 1.0
- Author:
- Boudewijn van Dongen
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
ReachabilityGraphBuilder
public ReachabilityGraphBuilder()
build
public static StateSpace build(PetriNet net)