D-continuous causal nets: A model of non-sequential processes

DOI10.1016/0304-3975(83)90070-1MaRDI QIDQ788491zbMATH OpenOpenAlexFDO

Authors N. E. Zubov

Publication date 1984

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0304-3975(83)90070-1

zbMATH Keywords

causal netsD-continuitypartially ordered sets of conditions and eventsposetssubhistories of concurrent systemsZFM 521.68063

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Review text

Dedekind's classic definition of the continuity of the reals is generalized to posets and called D-continuity. This concept is next applied to causal nets, i.e. partially ordered sets of conditions and events which represent subhistories of concurrent systems. A number of properties of D-continuous causal nets is developed (among others: K- density, discreteness, countability, coherence and natural order). The paper is a continuation of the approach initiated with \textit{C. A. Petri's} influencing paper: Non-sequential processes [Interner Bericht ISF-77-5, GMD, St. Augustin, Fed. Rep. Germ. (1977)].

Cites work

• Behaviours of concurrent systems
• scientific article; zbMATH DE number 3677208 (Why is no real title available?)
• scientific article; zbMATH DE number 3703981 (Why is no real title available?)
• scientific article; zbMATH DE number 3706504 (Why is no real title available?)
• scientific article; zbMATH DE number 3742641 (Why is no real title available?)
• scientific article; zbMATH DE number 3770961 (Why is no real title available?)
• scientific article; zbMATH DE number 3780568 (Why is no real title available?)
• Petri nets, event structures and domains. I
• Synchronisationsgraphen

Cited in

(10)

• Compartmental model diagrams as causal representations in relation to DAGs
• scientific article; zbMATH DE number 3974309 (Why is no real title available?)
• scientific article; zbMATH DE number 4037220 (Why is no real title available?)
• scientific article; zbMATH DE number 4047138 (Why is no real title available?)
• scientific article; zbMATH DE number 4047139 (Why is no real title available?)
• scientific article; zbMATH DE number 4098728 (Why is no real title available?)
• scientific article; zbMATH DE number 809189 (Why is no real title available?)
• Petri's axioms of concurrency a selection of recent results
• Nets, time and space
• Some behavioural aspects of net theory

This page was built for publication: D-continuous causal nets: A model of non-sequential processes

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q788491)