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

java.lang.Object
  extended by 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

Constructor Summary
ReachabilityGraphBuilder()
           
 
Method Summary
static StateSpace build(PetriNet net)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

ReachabilityGraphBuilder

public ReachabilityGraphBuilder()
Method Detail

build

public static StateSpace build(PetriNet net)