Synchronisationsgraphen
From MaRDI portal
Publication:2554953
DOI10.1007/BF00264027zbMath0244.68026OpenAlexW4246197434MaRDI QIDQ2554953
Kurt Lautenbach, Hartmann J. Genrich
Publication date: 1973
Published in: Acta Informatica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf00264027
Related Items (14)
The decidability of persistence for vector addition systems ⋮ Some behavioural aspects of net theory ⋮ Adequacy properties of path programs ⋮ Complexity results for 1-safe nets ⋮ Traps characterize home states in free choice systems ⋮ Characterisation of the state spaces of marked graph Petri nets ⋮ Reachability in cyclic extended free-choice systems ⋮ Synthesis and reengineering of persistent systems ⋮ Kleene Theorems for Product Systems ⋮ (A-)synchronous (non)-deterministic cell spaces simulating each other ⋮ Target-oriented Petri Net Synthesis ⋮ D-continuous causal nets: A model of non-sequential processes ⋮ State space axioms for T-systems ⋮ A theory of bipolar synchronization scheme
This page was built for publication: Synchronisationsgraphen
