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

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

public class TransitionInvariantCalculator
extends java.lang.Object

Title: TransitionInvariantCalculator

Description: This static class returns an ArrayList of Bags. Each of these bags contains transitions an represents a semi-positive transition 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
TransitionInvariantCalculator()
           
 
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

TransitionInvariantCalculator

public TransitionInvariantCalculator()
Method Detail

calculate

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