Mapping timed cause-effect structures into timed Petri nets

DOI10.1007/BF02665892zbMath0908.68116OpenAlexW2066721051MaRDI QIDQ1264589

A. P. Ustimenko

Publication date: 22 November 1998

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

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

zbMATH Keywords

Petri netscause-effect structure

Mathematics Subject Classification ID

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

Related Items

Algebra of two-level cause-effect structures

Cites Work

• Remarks on the equivalence of c-e structures and Petri nets
• A calculus of nets
• Recoverability of Communication Protocols--Implications of a Theoretical Study
• Unnamed Item
• Unnamed Item