Lectures on Concurrency and Petri Nets

DOI10.1007/b98282zbMath1088.93502MaRDI QIDQ5712280

Vesna Milijic, Christian Neumair, Jörg Desel

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

93B51: Design techniques (robust design, computer-aided design, etc.)

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

Related Items

Ontology-driven analysis of UML-based collaborative processes using OWL-DL and CPN