@inbook{d19fbdb6d56340218eaa3efd24ef8dde,
title = "Data and Process Resonance - Identifier Soundness for Models of Information Systems",
abstract = "A model of an information system describes its processes and how these processes manipulate data objects. Object-aware extensions of Petri nets focus on modeling the life-cycle of objects and their interactions. In this paper, we focus on Petri nets with identifiers, where identifiers are used to refer to objects. These objects should “behave” well in the system from inception to termination. We formalize this intuition in the notion of identifier soundness, and show that although this property is undecidable in general, useful subclasses exist that guarantee identifier soundness by construction.",
keywords = "Information System, Verification, Data and Processes",
author = "{van der Werf}, {Jan Martijn} and Andrey Rivkin and Artem Polyvyanyy and Marco Montali",
year = "2022",
month = may,
day = "30",
doi = "10.1007/978-3-031-06653-5_19",
language = "English",
isbn = "978-3-031-06652-8",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "369--392",
editor = "Luca Bernardinello and Laure Petrucci",
booktitle = "Application and Theory of Petri Nets and Concurrency",
edition = "1",
note = " Application and Theory of Petri Nets and Concurrency , Petri nets ; Conference date: 22-06-2022 Through 25-06-2022",
}