Verification Of Data Aware Processes Via Satisfiability Modulo Theories
Download Verification Of Data Aware Processes Via Satisfiability Modulo Theories PDF/ePub or read online books in Mobi eBooks. Click Download or Read Online button to get Verification Of Data Aware Processes Via Satisfiability Modulo Theories book now. This website allows unlimited access to, at the time of writing, more than 1.5 million titles, including hundreds of thousands of titles in various foreign languages.
Verification of Data-Aware Processes via Satisfiability Modulo Theories
Author: Alessandro Gianola
language: en
Publisher: Springer Nature
Release Date: 2023-10-29
This book is a revised version of the PhD dissertation written by the author at the Free University of Bozen-Bolzano in Italy. It presents a new approach to safety verification of a particular class of infinite-state systems, called Data-Aware Processes (DAPs). To do so, the developed technical machinery requires to devise novel results for uniform interpolation and its combination in the context of automated reasoning. These results are then applied to the analysis of concrete business processes enriched with real data. In 2022, the PhD dissertation won the “BPM Dissertation Award”, granted to outstanding PhD theses in the field of Business Process Management.
Advanced Intelligent Technologies and Sustainable Society
This book includes new research results of scholars from the Fourth International Conference on Advanced Intelligent Technologies (ICAIT 2023) organized by IRNet International Academic Communication Center, held during November 3–5, 2023. The book covers research work from active researchers who are working on collaboration of industry and various intelligent technologies such as intelligent technologies applicable/applied to manufacturing and distribution of industrial products, factory automation, business, etc. The topics included are all computational intelligence techniques applicable/applied to industry, intelligent techniques in data science applicable/applied to business and management, intelligent network systems applicable/applied to industrial production, intelligent technologies applicable to smart agriculture, and intelligent information systems for agriculture.
Application and Theory of Petri Nets and Concurrency
This book constitutes the proceedings of the 46th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2025, held in Paris, France, during June 22–27, 2025. The 21 full papers and 1 short paper included in this book were carefully reviewed and selected from 48 submissions. They deal with topics such as composition and synthesis; workflow nets; process mining; model checking; communication & concurrency; timed and stochastic Petri nets; etc. The proceedings also include one invited talk in full paper length.