TY - GEN

T1 - Transforming Dynamic Condition Response Graphs to Safe Petri Nets

AU - Cosma, Vlad Paul

AU - Hildebrandt, Thomas T.

AU - Slaats, Tijs

N1 - Funding Information: Acknowledgment. A partial support by the Discovery NSERC of Canada grant No. 6466-15, and the Leverhulme Trust grant RPG-2022-025 is acknowledged. The authors gratefully acknowledge four anonymous referees, whose comments significantly contributed to the final version of this paper. Funding Information: Acknowledgments. We thank the anonymous reviewers for their insightful comments. Arias, Olarte, Ölveczky, Petrucci, and Rømming acknowledge support from CNRS INS2I project ESPRiTS and the PHC project Aurora AESIR. Bae was supported by the NRF grants funded by the Korea government (No. 2021R1A5A1021944 and No. 2022R1F1A1074550). Funding Information: Acknowledgments. The authors thank the Alexander von Humboldt (AvH) Stiftung for supporting this research. Funded by the Deutsche Forschungsgemeinschaft (DFG) under Germany’s Excellence Strategy, Internet of Production (390621612). Funding Information: Acknowledgements. This work is supported by the National Science Centre, Poland, under Grant number 2019/35/B/ST6/01683. Funding Information: Work supported in part by National Science Foundation under grant CCF-2212142. Publisher Copyright: © 2023, The Author(s), under exclusive license to Springer Nature Switzerland AG.

PY - 2023

Y1 - 2023

N2 - We present a transformation of the Dynamic Condition Response (DCR) graph constraint based process specification language to safe Petri Nets with inhibitor and read arcs, generalized with an acceptance criteria enabling the specification of the union of regular and ω -regular languages. We prove that the DCR graph and the resulting Petri Net are bisimilar and that the bisimulation respects the acceptance criterium. The transformation enables the capturing of regular and omega-regular process requirements from texts and event logs using existing tools for DCR requirements mapping and process mining. A representation of DCR Graphs as Petri Nets advances the understanding of the relationship between the two models and enables improved analysis and model checking capabilities for DCR graph specifications through mature Petri net tools. We provide a python script implementing the transformation from the DCR XML export format to the PNML exchange format extended with arc types. In the implementation, all read arcs are replaced by a pair of standard input and output arcs. This directly enables the simulation and analysis of the resulting Petri Nets in tools such as TAPAAL, but means that the acceptance criterium for infinite runs is not preserved.

AB - We present a transformation of the Dynamic Condition Response (DCR) graph constraint based process specification language to safe Petri Nets with inhibitor and read arcs, generalized with an acceptance criteria enabling the specification of the union of regular and ω -regular languages. We prove that the DCR graph and the resulting Petri Net are bisimilar and that the bisimulation respects the acceptance criterium. The transformation enables the capturing of regular and omega-regular process requirements from texts and event logs using existing tools for DCR requirements mapping and process mining. A representation of DCR Graphs as Petri Nets advances the understanding of the relationship between the two models and enables improved analysis and model checking capabilities for DCR graph specifications through mature Petri net tools. We provide a python script implementing the transformation from the DCR XML export format to the PNML exchange format extended with arc types. In the implementation, all read arcs are replaced by a pair of standard input and output arcs. This directly enables the simulation and analysis of the resulting Petri Nets in tools such as TAPAAL, but means that the acceptance criterium for infinite runs is not preserved.

KW - Bisimilarity

KW - DCR graphs

KW - Petri Nets

U2 - 10.1007/978-3-031-33620-1_22

DO - 10.1007/978-3-031-33620-1_22

M3 - Article in proceedings

AN - SCOPUS:85173572491

SN - 9783031336195

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 417

EP - 439

BT - Application and Theory of Petri Nets and Concurrency - 44th International Conference, PETRI NETS 2023, Proceedings

A2 - Gomes, Luis

A2 - Lorenz, Robert

PB - Springer

T2 - 44th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2023

Y2 - 25 June 2023 through 30 June 2023

ER -