Serialized Form

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

Class org.processmining.plugins.petrinet.behavioralanalysis.woflan.WoflanAssumptions extends java.util.HashSet<WoflanState> implements Serializable

serialVersionUID:

6717251766728624401L

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