2 citations · 2 across the 1 of their papers we have counts for
1 paper
Fernando Rosa-Velardo, David de Frutos-Escrig
We prove several decidability and undecidability results for nu-PN, an extension of P/T nets with pure name creation and name management. We give a simple proof of undecidability o…