scientific article; zbMATH DE number 1836397

zbMath1009.68090MaRDI QIDQ4782078

Denis Poitrenaud, Serge Haddad

Publication date: 6 April 2003

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

zbMATH Keywords

recursive Petri nets

Mathematics Subject Classification ID

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

Related Items (5)

Dynamic Recursive Petri Nets ⋮ Coverability and Termination in Recursive Petri Nets ⋮ A compositional Petri net translation of general \(\pi\)-calculus terms ⋮ Recursive Petri nets ⋮ Coverability, Termination, and Finiteness in Recursive Petri Nets

This page was built for publication: