SZodixStudyAcademic Library

Shelves Open access

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

A Holistic Approach for Soundness Verification of Decision-Aware Process Models · Study

WorkA Holistic Approach for Soundness Verification of Decision-Aware Process Models

Massimiliano de Leoni2018

Work2018

A Holistic Approach for Soundness Verification of Decision-Aware Process Models

Massimiliano de Leoni · Paolo Felli · Marco Montali

52 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 — 52 citations exist upstream.

References

1998THE APPLICATION OF PETRI NETS TO WORKFLOW MANAGEMENT 2008Semantics and analysis of business process models in BPMN 2013Foundations of data-aware process analysis 2010On Enabling Data-Aware Compliance Checking of Business Process Models 2015Process mining using BPMN: relating event logs and process models 2011Soundness verification for conceptual workflow nets with data: Early detection of errors with the most precision possible 2016Decision Mining Revisited - Discovering Overlapping Rules 2018Multi-perspective process mining

Cited by

2019Holistic discovery of decision models from process execution data 2021CoCoMoT: Conformance Checking of Multi-perspective Processes via SMT 2021Integrating BPMN and DMN: Modeling and Analysis 2019Soundness Verification of Decision-Aware Process Models with Variable-to-Variable Conditions 2023Data-aware conformance checking with SMT 2019Workflow Nets With Tables and Their Soundness

Related works

Explore the map →

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

2019Soundness Verification of Decision-Aware Process Models with Variable-to-Variable Conditionsother · 5 shared references 2017Add Data into Business Process Verification: Bridging the Gap between Theory and Practiceother · 3 shared references 2021Integrating BPMN and DMN: Modeling and Analysisarticle · 3 shared references 2018Discovering high-level BPMN process models from event dataarticle · 3 shared references 2010Efficient Consistency Measurement Based on Behavioral Profiles of Process Modelsarticle · 2 shared references 2009Petri Net Transformations for Business Processes – A Surveyother · 2 shared references

Details

Year2018

Typeother

Published2018-01-01

VenueLecture notes in computer science

ISSN-L0302-9743

Languageen

Citations52

Files0 public / 0

ShelfBusiness Process Modeling and Analysis

Identifiers

doi10.1007/978-3-030-00847-5_17

openalex_workW2892385377

Links

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

2022Soundness of Data-Aware Processes with Arithmetic Conditions

2023Multi-perspective conformance checking of uncertain process traces: An SMT-based approach