Challenges in business process management : verification of business processes using Petri nets

W.M.P. Aalst, van der

Research output: Contribution to journal › Article › Academic › peer-review

1 Downloads (Pure)

Original language	English
Pages (from-to)	174-199
Journal	Bulletin of the European Association for Theoretical Computer Science, EATCS
Volume	80
Publication status	Published - 2003

Cite this

@article{51405a6ffffe460f8ab1f425d3dd1058,

title = "Challenges in business process management : verification of business processes using Petri nets",

author = "{Aalst, van der}, W.M.P.",

year = "2003",

language = "English",

volume = "80",

pages = "174--199",

journal = "Bulletin of the European Association for Theoretical Computer Science, EATCS",

issn = "0252-9742",

publisher = "European Association for Theoretical Computer Science",

}

TY - JOUR

T1 - Challenges in business process management : verification of business processes using Petri nets

AU - Aalst, van der, W.M.P.

PY - 2003

Y1 - 2003

M3 - Article

SN - 0252-9742

VL - 80

SP - 174

EP - 199

JO - Bulletin of the European Association for Theoretical Computer Science, EATCS

JF - Bulletin of the European Association for Theoretical Computer Science, EATCS

ER -