scientific article

zbMath1248.68357MaRDI QIDQ3225720

David de Frutos-Escrig, Fernando Rosa-Velardo, María Martos-Salgado

Publication date: 22 March 2012

Full work available at URL: http://iospress.metapress.com/content/h730166n666n20nw/fulltext.html

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

Petri netsdecidabilitycoverability setpure namesforward analysis\(\nu\)-PNs

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (3)

Coverability Trees for Petri Nets with Unordered Data ⋮ Unnamed Item ⋮ Unnamed Item

This page was built for publication: