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

Aalst, Wil van der; Hofstede, A. H. M. ter

Seitenaufrufe: 19
seit 03.05.2018

Zugehörige Institution(en) am KIT	Institut für Angewandte Informatik und Formale Beschreibungsverfahren (AIFB)
Publikationstyp	Buch
Publikationsjahr	1998
Sprache	Englisch
Identifikator	KITopen-ID: 306498
Erscheinungsvermerk	Karlsruhe 1998. (Bericht. Institut für Angewandte Informatik und Formale Beschreibungsverfahren, Universität Karlsruhe (TH). 380.)