On the border of causality: contact and confusion

DOI10.1016/0304-3975(95)00123-9MaRDI QIDQ672875zbMATH OpenOpenAlexFDO

Authors Einar Smith

Publication date 28 February 1997

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

Full work available at URL https://doi.org/10.1016/0304-3975(95)00123-9

zbMATH Keywords

concurrent processesasynchronous interactionselementary net systemsmetastability in arbiters

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 4070337
• scientific article; zbMATH DE number 4037216
• Causal semantics for Petri nets with contacts
• FM 2005: Formal Methods

Cites work

• scientific article; zbMATH DE number 3825182 (Why is no real title available?)
• scientific article; zbMATH DE number 3972158 (Why is no real title available?)
• scientific article; zbMATH DE number 3980498 (Why is no real title available?)
• scientific article; zbMATH DE number 3982529 (Why is no real title available?)
• scientific article; zbMATH DE number 4012518 (Why is no real title available?)
• scientific article; zbMATH DE number 4024802 (Why is no real title available?)
• scientific article; zbMATH DE number 4037216 (Why is no real title available?)
• scientific article; zbMATH DE number 4092788 (Why is no real title available?)
• scientific article; zbMATH DE number 4098728 (Why is no real title available?)
• Mathematical aspects of net theory

Cited in

(12)

• Confusion diagnosis and control of discrete event systems using synchronized Petri nets
• scientific article; zbMATH DE number 7147446 (Why is no real title available?)
• Confusion analysis and detection for workflow nets
• Mutex needs fairness
• Computing a parametric reveals relation for bounded equal-conflict Petri nets
• Confusion-tolerant computation of probability in acyclic nets
• Process languages and nets
• On occurrence net semantics for petri nets with contacts
• A generic causal model for place latency.
• Invariant Analysis for Multi-agent Graph Transformation Systems Using k-Induction
• Thinking in Cycles
• Confusion control in generalized Petri nets using synchronized events

This page was built for publication: On the border of causality: contact and confusion

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