Applications and Theory of Petri Nets 2004

DOI10.1007/B98283zbMath1094.68582OpenAlexW2495597431WikidataQ56892631 ScholiaQ56892631MaRDI QIDQ5712340

Gianfranco Ciardo

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/b98283

Mathematics Subject Classification ID

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

Related Items (1)

Hierarchical Set Decision Diagrams and Automatic Saturation

Uses Software

• SMART_
• Möbius

This page was built for publication: Applications and Theory of Petri Nets 2004