Lectures on Concurrency and Petri Nets

DOI10.1007/B98282MaRDI QIDQ5712296zbMATH OpenOpenAlexFDO

Authors Eike Best, Maciej Koutny

Publication date 23 December 2005

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

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

zbMATH Keywords

Petri netsprocess algebras

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 3967922
• scientific article; zbMATH DE number 3980501
• scientific article; zbMATH DE number 785044
• The box algebra = Petri nets + process expressions
• A unified model for nets and process algebras

Cited in

(16)

• The box algebra = Petri nets + process expressions
• Process algebra and model checking
• Partial-order process algebra (and its relation to Petri nets)
• An algebra of processes
• A regular viewpoint on processes and algebra
• A unified model for nets and process algebras
• Process algebras for Petri nets. The alphabetization of distributed systems
• scientific article; zbMATH DE number 4147491 (Why is no real title available?)
• scientific article; zbMATH DE number 4108157 (Why is no real title available?)
• A brief history of process algebra
• An axiomatic characterization of algebras of processes of Petri nets
• scientific article; zbMATH DE number 4128403 (Why is no real title available?)
• scientific article; zbMATH DE number 3967922 (Why is no real title available?)
• scientific article; zbMATH DE number 3980501 (Why is no real title available?)
• What are the fundamental structures of concurrency? We still don't know!
• scientific article; zbMATH DE number 1418456 (Why is no real title available?)

This page was built for publication: Lectures on Concurrency and Petri Nets

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