مرکز منطقه ای اطلاع رساني علوم و فناوري - Formalization and verification of event-driven process chains

Title of article :

Formalization and verification of event-driven process chains

Author/Authors :

W. M. P. van der Aalst، نويسنده ,

Issue Information :

ماهنامه با شماره پیاپی سال 1999

Pages :

From page :

639

To page :

650

Keywords :

Event-driven process chains , Petri nets , Workflow management , Verification

Journal title :

Information and Software Technology

Serial Year :

1999

Journal title :

Information and Software Technology

Record number :

134637

Link To Document :