Petri Nets with Parameterised Data - Modelling and Verifi- cation

Ghilardi S, Gianola A, Montali M, Rivkin A · 2020 · DOI 10.1007/978-3-030-58666-9

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 41
Extends Petri nets with identifiers for object- and resource-aware systems and defines generalized correctness criteria with decidability analysis.