scientific article; zbMATH DE number 2088651

zbMATH Open1047.68613MaRDI QIDQ3045248FDOQ3045248

W. 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 of this publication is not available (Why is that?)

Mathematics Subject Classification ID

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

Cited In (8)

• Model checking workflow net based on Petri net
• Lectures on Concurrency and Petri Nets
• Petri nets and IDEF diagrams: Applicability and efficacy for business process modelling
• Title not available (Why is that?)
• Title not available (Why is that?)
• Behavioral models of business systems
• Analysis and application of transition systems based on Petri nets and relation matrices to business process management
• Title not available (Why is that?)

Uses Software

• Woflan

   Recommendations

• Lectures on Concurrency and Petri Nets 👍 👎
• Title not available (Why is that?) 👍 👎
• Management Petri net a modelling tool for management systems 👍 👎
• Four Steps Towards Sound Business Process Models 👍 👎
• Petri net-based modelling of workflow systems: An overview 👍 👎

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3045248)