Serialized Form


Package org.processmining.plugins.petrinet.behavioralanalysis.woflan

Class org.processmining.plugins.petrinet.behavioralanalysis.woflan.WoflanSemantics extends java.lang.Object implements Serializable

serialVersionUID: -160069264973479583L

Serialized Fields

marking

org.processmining.models.semantics.petrinet.Marking marking

semantics

org.processmining.models.semantics.Semantics<S,T> semantics