Jan Martijn E. M. van der Werf ; Andrey Rivkin ; Marco Montali ; Artem Polyvyanyy - Correctness Notions for Petri Nets with Identifiers

fi:10489 - Fundamenta Informaticae, February 12, 2024, Volume 190, issues 2-4: Petri Nets 2022
Correctness Notions for Petri Nets with IdentifiersArticle

Authors: Jan Martijn E. M. van der Werf ; Andrey Rivkin ; Marco Montali ; Artem Polyvyanyy

    A model of an information system describes its processes and how resources are involved in these processes to manipulate data objects. This paper presents an extension to the Petri nets formalism suitable for describing information systems in which states refer to object instances of predefined types and resources are identified as instances of special object types. Several correctness criteria for resource- and object-aware information systems models are proposed, supplemented with discussions on their decidability for interesting classes of systems. These new correctness criteria can be seen as generalizations of the classical soundness property of workflow models concerned with process control flow correctness.


    Volume: Volume 190, issues 2-4: Petri Nets 2022
    Published on: February 12, 2024
    Accepted on: December 27, 2023
    Submitted on: December 15, 2022
    Keywords: Computer Science - Formal Languages and Automata Theory

    Consultation statistics

    This page has been seen 136 times.
    This article's PDF has been downloaded 109 times.