[Lecture Notes in Computer Science] Business Process Management Volume 1806 || Workflow Verification: Finding Control-Flow Errors Using Petri-Net-Based Techniques
van der Aalst, Wil, Desel, Jörg, Oberweis, AndreasVolume:
10.1007/3-
Year:
2000
Language:
english
DOI:
10.1007/3-540-45594-9_11
File:
PDF, 167 KB
english, 2000