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

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

public class PlaceInvariantCalculator
extends java.lang.Object

Title: PlaceInvariantCalculator

Description: This static class returns an ArrayList of Bags. Each of these bags contains places an represents a semi-positive place invariant for the given PetriNet. The given set is minimal.

Copyright: Copyright (c) 2004

Company: Technische Universiteit Eindhoven

Version:
1.0
Author:
Boudewijn van Dongen

Constructor Summary
PlaceInvariantCalculator()
           
 
Method Summary
static java.util.ArrayList calculate(PetriNet net, int shortCircuit)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

PlaceInvariantCalculator

public PlaceInvariantCalculator()
Method Detail

calculate

public static java.util.ArrayList calculate(PetriNet net,
                                            int shortCircuit)