Transforming Dynamic Condition Response Graphs to Safe Petri Nets

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

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.

TitelApplication and Theory of Petri Nets and Concurrency - 44th International Conference, PETRI NETS 2023, Proceedings
RedaktørerLuis Gomes, Robert Lorenz
Antal sider23
ISBN (Trykt)9783031336195
StatusUdgivet - 2023
Begivenhed44th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2023 - Lisbon, Portugal
Varighed: 25 jun. 202330 jun. 2023


Konference44th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2023
NavnLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Vol/bind13929 LNCS

Bibliografisk note

Publisher Copyright:
© 2023, The Author(s), under exclusive license to Springer Nature Switzerland AG.

ID: 390292125