Forward Analysis for Petri Nets with Name Creation

DOI10.1007/978-3-642-13675-7_12zbMath1233.68168OpenAlexW1579692516WikidataQ57831222 ScholiaQ57831222MaRDI QIDQ3569867

David de Frutos-Escrig, Fernando Rosa-Velardo

Publication date: 22 June 2010

Published in: Applications and Theory of Petri Nets (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-13675-7_12

Mathematics Subject Classification ID

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

Related Items (2)

Correctness Notions for Petri Nets with Identifiers ⋮ Decidability and complexity of Petri nets with unordered data

This page was built for publication: Forward Analysis for Petri Nets with Name Creation