Soundness of Data-Aware Processes with Arithmetic Conditions-Reference-Cited by-同舟云学术

Soundness of Data-Aware Processes with Arithmetic Conditions

Published:2022 Issue: Volume: Page:389-406
ISSN:0302-9743
Container-title:Advanced Information Systems Engineering
language:
Short-container-title:

Author:

Felli Paolo^ORCID,Montali Marco^ORCID,Winkler Sarah^ORCID

Publisher

Springer International Publishing

Link

https://link.springer.com/content/pdf/10.1007/978-3-031-07472-1_23

Reference24 articles.

1. van der Aalst, W.: The application of Petri Nets to workflow management. J. uits Syst. Comput. 8(1), 21–66 (1998)

2. van der Aalst, W.M.P., van Hee, K.M., ter Hofstede, A.H.M., Sidorova, N., Verbeek, H.M.W., Voorhoeve, M., Wynn, M.T.: Soundness of workflow nets: classification, decidability, and analysis. Formal Aspects Comput. 23(3), 333–363 (2011)

3. Artale, A., Calvanese, D., Montali, M., van der Aalst, W.M.P.: Enriching data models with behavioral constraints. In: Ontology Makes Sense. FAIA, vol. 316, pp. 257–277. IOS Press (2019)

4. Lecture Notes in Computer Science;K Batoulis,2017

5. Calvanese, D., de Giacomo, G., Montali, M.: Foundations of data-aware process analysis: a database theory perspective. In: Proceedings of 32nd PODS, pp. 1–12 (2013)

Cited by 10 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Verification of data-aware process models: Checking soundness of data Petri nets;Journal of Logical and Algebraic Methods in Programming;2024-04

2. Comparing Conformance Checking for Decision Mining: An Axiomatic Approach;IEEE Access;2024

3. Equivalence of Data Petri Nets with Arithmetic;Lecture Notes in Business Information Processing;2024

4. Repair of Unsound Data-Aware Process Models;Lecture Notes in Business Information Processing;2024

5. Glocal Conformance Checking;Lecture Notes in Computer Science;2024