scientific article

zbMath1047.68613MaRDI QIDQ3045248

Wil M. P. van der Aalst

Publication date: 12 August 2004

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

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

Mathematics Subject Classification ID

Management decision making, including multiple objectives (90B50) Computing methodologies for information systems (hypertext navigation, interfaces, decision support, etc.) (68U35) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Theory of organizations, manpower planning in operations research (90B70)

Related Items (1)

Model checking workflow net based on Petri net

Uses Software

• Woflan

This page was built for publication: