|
СТ |
Interval Timed Coloured Petri Nets and their Analysis |
1993 |
Van Der Aalst W.M. P. |
|
|
|
Lecture Notes in Computer Science |
24.08.1993 |
|
СТ |
Using Interval Timed Coloured Petri Nets to Calculate Performance Bounds |
1994 |
Van Der Aalst W.M. P. |
|
|
|
Lecture Notes in Computer Science |
07.07.1994 |
|
СТ |
Process-Oriented Architectures for Electronic Commerce and Interorganizational Workflow |
1999 |
Van Der Aalst W.M. P. |
|
|
|
Information Systems |
06.04.2000 |
|
СТ |
Workflow Verification: Finding Control-Flow Errors Using Petri-Net-Based Techniques |
2000 |
Van Der Aalst W.M. P. |
|
|
|
Lecture Notes in Computer Science |
30.06.2000 |
|
СТ |
Verification of Workflow Task Structures: A Petri-Net-Based Approach |
2000 |
Van Der Aalst W.M. P., Ter Hofstede A.H. M. |
|
|
|
Information Systems |
30.09.2000 |
|
СТ |
Inheritance of Dynamic Behavior: Development of a Groupware Editor |
2001 |
Basten T., Van Der Aalst W.M. P. |
|
|
|
Lecture Notes in Computer Science |
25.05.2001 |
|
СТ |
Diagnosing Workflow Processes using Woflan |
2001 |
Verbeek H.M. W., Basten T., Van Der Aalst W.M. P. |
|
|
|
The Computer J. |
17.08.2001 |
|
СТ |
Fundamentals of Control Flow in Workflows |
2003 |
Kiepuszewski B., Ter Hofstede A.H. M., Van Der Aalst W.M. P. |
|
|
|
Acta Informatica |
07.05.2003 |
|
СТ |
Analysis of Web Services Composition Languages: The Case of BPEL4WS |
2003 |
Wohed P., Van Der Aalst W.M. P., Ter Hofstede A.H. M. |
|
|
|
Lecture Notes in Computer Science |
10.12.2003 |
|
СТ |
YAWL: yet another workflow language |
2005 |
Van Der Aalst W.M. P., Ter Hofstede A.H. M. |
|
|
|
Information Systems |
30.04.2005 |
