Remarks on the equivalence of c-e structures and Petri nets

DOI10.1016/0020-0190(93)90114-OzbMath0792.68122MaRDI QIDQ1209978

Marek Raczunas

Publication date: 16 May 1993

Published in: Information Processing Letters (Search for Journal in Brave)

zbMATH Keywords

Petri netscause-effect structure

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

Colored cause-effect structures ⋮ A calculus of nets ⋮ Algebra of two-level cause-effect structures ⋮ Unnamed Item ⋮ Extensions of Elementary Cause-Effect Structures ⋮ Mapping timed cause-effect structures into timed Petri nets ⋮ Process languages and nets

Cites Work

• Cause-effect structures
• Propositional description of finite cause-effect structures
• Finite processes in cause-effect structures and their composition