scientific article; zbMATH DE number 512821

zbMath0799.68142MaRDI QIDQ4281514

Jörg Desel, Wolfgang Reisig

Publication date: 13 November 1994

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

zbMATH Keywords

labelled directed graphselementary Petri netssynthesis of concurrent systems

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Graph theory (including graph drawing) in computer science (68R10) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (1)

Polynomial algorithms for the synthesis of bounded nets

This page was built for publication: