On DB-Nets and Their Applications

von Montali, Marco
Veröffentlicht in TMPA (5. : 2019 : Tiflis) Tools and methods of program analysis (2021)

Petri Nets with Parameterised Data

von Ghilardi, Silvio
Veröffentlicht in BPM (Veranstaltung : 18. : 2020 : Online) Business process management (2020)

Delta-BPMN: A Concrete Language and Verifier for Data-Aware BPMN

von Ghilardi, Silvio
Veröffentlicht in BPM (Veranstaltung : 19. : 2021 : Rom; Online) Business process management (2021)

Combined Covers and Beth Definability

von Calvanese, Diego
Veröffentlicht in IJCAR (10. : 2020 : Online) Automated reasoning ; Part 1 (2020)

CoCoMoT: Conformance Checking of Multi-perspective Processes via SMT

von Felli, Paolo
Veröffentlicht in BPM (Veranstaltung : 19. : 2021 : Rom; Online) Business process management (2021)

Conformance Checking with Uncertainty via SMT

von Felli, Paolo
Veröffentlicht in BPM (20. : 2022 : Münster (Westf)) Business process management (2022)

Multi-model Monitoring Framework for Hybrid Process Specifications

von Alman, Anti
Veröffentlicht in CAiSE (34. : 2022 : Löwen) Advanced information systems engineering (2022)

Data and Process Resonance: Identifier Soundness for Models of Information Systems

von Werf, Jan Martijn E. M. van der
Veröffentlicht in International Conference on Application and Theory of Petri Nets and Concurrency (43. : 2022 : Bergen, Norwegen) Application and theory of petri nets and concurrency (2022)