Lectures on Concurrency and Petri Nets

DOI10.1007/B98282zbMATH Open1088.68541OpenAlexW78026558MaRDI QIDQ5712284

Hendrik Voigt, R. Heckel

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

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Grammars and rewriting systems (68Q42) Theory of software (68N99)

Related Items (1)

On the Expressive Power of Non-deterministic and Unambiguous Petri Nets over Infinite Words

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 Q5712284)