PetrinetLanguageGenerator (ImplicitPlaceIdentification)

java.lang.Object
- org.processmining.implicitplaceidentification.algorithms.PetrinetLanguageGenerator

```
public class PetrinetLanguageGenerator
extends java.lang.Object
```
This class can be used to generate a possibly large subset of the language a given sound Workflow net.

Constructor Summary

Constructors
Constructor Description

PetrinetLanguageGenerator()

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`java.util.Set<java.util.Stack<java.lang.String>>`	`generate(org.processmining.models.graphbased.directed.petrinet.Petrinet net, org.processmining.models.semantics.petrinet.Marking initialMarking, int maxTraceLength, int loopExecutionLimit, int markingBound)`	This method generates the language a possibly large subset of a given sound Workflow net.

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

- Constructor Detail
  - PetrinetLanguageGenerator
```
public PetrinetLanguageGenerator()
```
- Method Detail
  - generate
```
public java.util.Set<java.util.Stack<java.lang.String>> generate(org.processmining.models.graphbased.directed.petrinet.Petrinet net,
                                                                 org.processmining.models.semantics.petrinet.Marking initialMarking,
                                                                 int maxTraceLength,
                                                                 int loopExecutionLimit,
                                                                 int markingBound)
```
    This method generates the language a possibly large subset of a given sound Workflow net. The additional parameters affect the size of the output but also the runtime.
    
    Parameters:
    
    net - the Petri net for which the language shall be generated
    
    initialMarking - the initial marking
    
    maxTraceLength - the maximum trace length a word in the generated output can have
    
    loopExecutionLimit - the number how many times a loop gets executed during the generation of one trace
    
    markingBound - the marking bound for all places in the net
    
    Returns:
    
    an approximation of the language of the net