A Holistic Approach for Soundness Verification of Decision-Aware Process Models
- 26 September 2018
- book chapter
- conference paper
- Published by Springer Science and Business Media LLC
Abstract
No abstract availableKeywords
This publication has 14 references indexed in Scilit:
- Various Notions of Soundness for Decision-Aware Business ProcessesPublished by Springer Science and Business Media LLC ,2017
- Soundness of Decision-Aware Business ProcessesLecture Notes in Business Information Processing, 2017
- Semantics and Analysis of DMN Decision TablesPublished by Springer Science and Business Media LLC ,2016
- Decision Mining Revisited - Discovering Overlapping RulesLecture Notes in Computer Science, 2016
- Process mining using BPMN: relating event logs and process modelsSoftware and Systems Modeling, 2015
- On Enabling Data-Aware Compliance Checking of Business Process ModelsLecture Notes in Computer Science, 2010
- Coloured Petri NetsPublished by Springer Science and Business Media LLC ,2009
- Semantics and analysis of business process models in BPMNInformation and Software Technology, 2008
- THE APPLICATION OF PETRI NETS TO WORKFLOW MANAGEMENTJournal of Circuits, Systems and Computers, 1998
- Model checking and abstractionACM Transactions on Programming Languages and Systems, 1994