DMCA

Forward analysis for Petri nets with name creation

by Fernando Rosa-Velardo , David de Frutos-Escrig