Soundness of Data-Aware, Case-Centric Processes

Montali M, Calvanese D · 2016 · DOI 10.1007/s10009-016-0417-2

1 Pith paper cite this work. Polarity classification is still indexing.

1 Pith paper citing it

open at publisher browse 1 citing papers

representative citing papers

cs.FL · 2022-12-14 · unverdicted · novelty 5.0

Extends Petri nets with identifiers for object- and resource-aware systems and defines generalized correctness criteria with decidability analysis.

Showing 1 of 1 citing paper.

Correctness Notions for Petri Nets with Identifiers cs.FL · 2022-12-14 · unverdicted · none · ref 40
Extends Petri nets with identifiers for object- and resource-aware systems and defines generalized correctness criteria with decidability analysis.