Package org.tweetyproject.logics.bpm.analysis

package org.tweetyproject.logics.bpm.analysis

Interface Summary

Interface	Description
BpmnInconsistencyMeasure

Class Summary

Class	Description
DeadEndInconsistencyMeasure	A BPMN model has an IndeterminateInconsistency value of 1 if there is an activity in this model a) that is reachable from a start event via the model's sequence flow b) from where no end event can possibly be reached, and 0 otherwise