scientific article

From MaRDI portal

Publication:3740251

Jump to:navigation, search

zbMath0603.68063MaRDI QIDQ3740251

Wolfgang Reisig

Publication date: 1986

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

zbMATH Keywords

fairness determinism nondeterminism causal order nonsequential systems step sequences

Mathematics Subject Classification ID

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

Related Items (max. 100)

Sequential and concurrent behaviour in Petri net theory ⋮ Concurrency and atomicity ⋮ Executions: A new partial-order semantics of Petri nets ⋮ ON THE EFFICIENT COMPUTATION OF THE MINIMAL COVERABILITY SET OF PETRI NETS ⋮ Finite Petri nets as models for recursive causal behaviour

This page was built for publication:

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