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