scientific article

From MaRDI portal

Revision as of 02:59, 6 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

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

Publication:4035686

Jump to:navigation, search

zbMath0773.68056MaRDI QIDQ4035686

Javier Esparza, Jörg Desel

Publication date: 18 May 1993

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

zbMATH Keywords

reachability free choice Petri nets

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (4)

Complexity results for 1-safe nets ⋮ Traps characterize home states in free choice systems ⋮ Reachability in cyclic extended free-choice systems ⋮ Compositional generation of home states in free choice nets

This page was built for publication:

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