Uses of Class
org.processmining.models.graphbased.directed.petrinet.analysis.NonLiveSequences

Packages that use NonLiveSequences

org.processmining.models.connections.petrinets.behavioral

Uses of NonLiveSequences in org.processmining.models.connections.petrinets.behavioral

Constructors in org.processmining.models.connections.petrinets.behavioral with parameters of type NonLiveSequences

NonLiveSequencesConnection(PetrinetGraph net, NonLiveSequences sequences, Marking marking, Marking[] allowedFinalMarkings, org.processmining.models.semantics.Semantics<Marking,Transition> semantics)