A calculus of nets

DOI10.1007/BF01132779zbMATH Open0850.68249OpenAlexW2049998720MaRDI QIDQ1895009FDOQ1895009

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

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

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)