Verification of workflow task structures : a Petri-net-based approach

W.M.P. Aalst, van der, A.H.M. Hofstede, ter

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

213 Citations (Scopus)

1 Downloads (Pure)

Access to Document

@article{5c90ffbd0bdb42c8b4599865b90e9c14,

title = "Verification of workflow task structures : a Petri-net-based approach",

author = "\{Aalst, van der\}, W.M.P. and \{Hofstede, ter\}, A.H.M.",

year = "2000",

doi = "10.1016/S0306-4379(00)00008-9",

language = "English",

volume = "25",

pages = "43--69",

journal = "Information Systems",

issn = "0306-4379",

publisher = "Elsevier",

number = "1",

}