scientific article

From MaRDI portal

Publication:3957954

Jump to:navigation, search

zbMath0494.68065MaRDI QIDQ3957954

Hans-Dieter Burkhard

Publication date: 1981

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

zbMATH Keywords

Petri net languages infinite reachability set Petri net coverability trees pumping lemma for markings

Mathematics Subject Classification ID

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

Related Items

The residue of vector sets with applications to decidability problems in Petri nets, An investigation of controls for concurrent systems based on abstract control languages

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:3957954&oldid=17659284"