SZodixStudyAcademic Library

Shelves Open access

Study · an open academic library·Metadata from OpenAlex (CC0)·Shelves·OpenAlex metadata, de-duplicated

CoCoMoT: Conformance Checking of Multi-perspective Processes via SMT · Study

WorkCoCoMoT: Conformance Checking of Multi-perspective Processes via SMT

Paolo Felli2021

OA

Workgreen2021

CoCoMoT: Conformance Checking of Multi-perspective Processes via SMT

Paolo Felli · Alessandro Gianola · Marco Montali · Andrey Rivkin · Sarah Winkler

36 citations·0/0 files stored·Lecture notes in computer science

No readable copy stored yet — this record is metadata only.

No open-access location is known for this record yet.

Literature note Cite in a project Citation map

Business Process Modeling and Analysis Formal Methods in Verification Petri Nets in System Modeling

Abstract

No abstract was published for this record.

Paper brief

Loading…

Cite this work

Citation unavailable for this work.

BibTeX RIS CSL-JSON

No public copy is stored for this record, so only the metadata is cited.

Citations in this library

Citation map →

Stored only when both papers are in the corpus — 36 citations exist upstream.

References

2011Process Mining 2011Process Mining: Discovery, Conformance and Enhancement of Business Processes 2018Conformance Checking 2015Balanced multi-perspective checking of process conformance 2016Conformance checking based on multi-perspective declarative process models 2017DB-Nets: On the Marriage of Colored Petri Nets and Relational Databases 2016Decision Mining Revisited - Discovering Overlapping Rules 2018Multi-perspective process mining

Cited by

2023Object-Centric Alignments 2023Modelling Data-Aware Stochastic Processes - Discovery and Conformance Checking 2023Event-case correlation for process mining using probabilistic optimization 2023Data-aware conformance checking with SMT 2023Multi-perspective conformance checking of uncertain process traces: An SMT-based approach 2022Process mining-driven analysis of COVID-19’s impact on vaccination patterns

Related works

Explore the map →

Papers that cite the same references — the relational fallback while embeddings are still backfilling.

2023Data-aware conformance checking with SMTarticle · 8 shared references 2017Aligning Modeled and Observed Behavior: A Compromise Between Computation Complexity and Qualityother · 4 shared references 2019Conformance checkingother · 3 shared references 2016Process mining in oncology: A literature reviewother · 3 shared references 2016Impact-Driven Process Model Repairarticle · 3 shared references 2016Discovery of Multi-perspective Declarative Process Modelsother · 3 shared references

Details

Year2021

Typeother

Published2021-01-01

VenueLecture notes in computer science

ISSN-L0302-9743

Languageen

Citations36

Files0 public / 0

ShelfBusiness Process Modeling and Analysis

Identifiers

doi10.1007/978-3-030-85469-0_15

openalex_workW3197445978

Links

Imported from OpenAlex (CC0) — nothing here is generated.

2022

Conformance Checking with Uncertainty via SMT