scientific article

From MaRDI portal

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

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

Publication:3766865

Jump to:navigation, search

zbMath0629.68063MaRDI QIDQ3766865

Heino Carstensen

Publication date: 1987

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

zbMATH Keywords

fairness Petri nets decidability finite delay property fair transition sequence infinite transition sequence

Mathematics Subject Classification ID

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

Related Items (8)

Problems concerning fairness and temporal logic for conflict-free Petri nets ⋮ Decidability of weak fairness in petri nets ⋮ Decidability of a temporal logic problem for Petri nets ⋮ Termination Problems in Chemical Kinetics ⋮ Exhibition of a Structural Bug with Wings ⋮ Communicating processes, scheduling, and the complexity of nontermination ⋮ Global and local views of state fairness ⋮ A taxonomy of fairness and temporal logic problems for Petri nets

This page was built for publication:

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