A calculus of nets

DOI10.1007/BF01132779zbMath0850.68249OpenAlexW2049998720MaRDI QIDQ1895009

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)

Related Items (1)

Mapping timed cause-effect structures into timed Petri nets

Cites Work

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

This page was built for publication: A calculus of nets