de Frutos-Escrig, D.: Decidability and complexity of petri nets with unordered data. Theor (0)

by F Rosa-Velardo
Venue:Montali, Rivkin •pi ti1 pσ1 t=11 t 6=11 ti2 pσ2 t=22 t 6=22 t=12 t 6= 12 t 6= 21t = ν