Applications and Theory of Petri Nets 2005

DOI10.1007/b136988zbMath1128.68390MaRDI QIDQ5713517

Wil M. P. van der Aalst, H. M. W. Verbeek, A. J. M. M. Weijters, Boudewijn van Dongen, A. K. Alves de Medeiros

Publication date: 14 December 2005

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

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

Mathematics Subject Classification ID

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

Related Items

ProM

Uses Software

• EMiT
• PNML
• JViews