Article, Proceedings Paper, 2024

Correctness Notions for Petri Nets with Identifiers

FUNDAMENTA INFORMATICAE, ISSN 0169-2968, Volume 190, 2-3, Pages 159-207, 10.3233/FI-242169

Contributors

van der Werf, Jan Martijn E. M. (Corresponding author) [1] Rivkin, Andrey [2] Montali, Marco [3] Polyvyanyy, Artem [4]

Affiliations

  1. [1] Univ Utrecht, Princetonpl 5, NL-3584 CC Utrecht, Netherlands
    2. [NORA names: Netherlands; Europe, EU; OECD];
  2. [2] Tech Univ Denmark, Richard Petersens Plads 321, DK-2800 Lyngby, Denmark
    3. [NORA names: DTU Technical University of Denmark; University; Denmark; Europe, EU; Nordic; OECD];
  3. [3] Free Univ Bozen Bolzano, Piazza Domenicani 3, I-39100 Bolzano, Italy
    4. [NORA names: Italy; Europe, EU; OECD];
  4. [4] Univ Melbourne, Grattan St, Parkville, Vic 3010, Australia
    5. [NORA names: Australia; Oceania; OECD]

Abstract

Abstract not displayed. As this article is not marked as Open Access, it is unclear if we are allowed to show the abstract. Please use the link in the sidebar to view the data provider version of the article including abstract.

Keywords

Data Correctness, Information System, Resource Correctness, Verification

Data Provider: Clarivate

LINKS
-

Matching Records in NORA

SUBJECTS
+

METRICS
+