scientific article

zbMath1046.68975MaRDI QIDQ3045489

Wil M. P. van der Aalst, H. M. W. Verbeek, A. Hirnschall

Publication date: 12 August 2004

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2348/23480535.htm

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

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

Related Items (3)

Automated Repair of Process Models Using Non-local Constraints ⋮ Soundness of workflow nets: classification, decidability, and analysis ⋮ Automated Repair of Process Models with Non-local Constraints Using State-Based Region Theory

Uses Software

• Woflan

This page was built for publication: