scientific article

From MaRDI portal

Revision as of 23:46, 5 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

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 (2)

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

This page was built for publication:

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