DMCA

Decidability results for restricted models of Petri nets with name creation and replication (2009)

by Fernando Rosa-Velardo , David de Frutos-Escrig