CCaaS: Online Conformance Checking as a Service

We demonstrated the validity of our approach proving that, an event log perfectly fits a nested Petri net if and only if it is syntactically correct w.r.t the model and each

With that said, an optimal alignment is the best combination by which the process model can imitate the corresponding observed behavior.. Unfortunately, state of the art techniques

We have implemented a hybrid approach (SPARQL + Rule Engine) for French building code compliance system named Semantic BIM Reasoner (SBIM-Reasoner) which reasons

Besides the fact that we address the conformance between LAIPs, there are other differences between those works and ours: first, they assume that entities/messages involved in

When learning a process model from event data, there is typically a trade-off between the following four quality dimensions [1]: (1) recall: the discovered model should allow for

In this paper we propose an approach that uses the techniques for evolving approximate functional dependencies proposed in [10] to compute to what extent the event log conforms to

2, γ 1 and γ 2 have two moves in model and/or log for visible transitions (γ 1 has one move in model for an invisible transition but it does not count for computing

Fitness quantifies how much of the observed behaviour is captured by the model, Generalization quantifies how well the model explains unobserved system behaviour, Precision