org.processmining.framework.models.petrinet.algorithms
Class TransitionInvariantCalculator
java.lang.Object
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
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
TransitionInvariantCalculator
public TransitionInvariantCalculator()
calculate
public static java.util.ArrayList calculate(PetriNet net,
int shortCircuit)