Lectures on Concurrency and Petri Nets

DOI10.1007/B98282zbMath1088.68666OpenAlexW78026558MaRDI QIDQ5712291

Joaquín Ezpeleta, Laura Recalde, Enrique Teruel, Manuel Silva

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

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

Related Items (3)

Control of discrete event systems by means of discrete optimization and disjunctive colored PNs: application to manufacturing facilities ⋮ Equivalent and efficient optimization models for an industrial discrete event system with alternative structural configurations ⋮ State space axioms for T-systems

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