A calculus of nets

DOI10.1007/BF01132779MaRDI QIDQ1895009zbMATH OpenOpenAlexFDO

Authors Ludwik Czaja

Publication date 6 August 1995

Published in Cybernetics and Systems Analysis (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/bf01132779

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cites work

• Cause-effect structures
• Communicating sequential processes
• Finite processes in cause-effect structures and their composition
• Propositional description of finite cause-effect structures
• Remarks on the equivalence of c-e structures and Petri nets

Cited in

(1)

• Mapping timed cause-effect structures into timed Petri nets

This page was built for publication: A calculus of nets

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