مرکز منطقه ای اطلاع رساني علوم و فناوري - Structural soundness of workflow nets is decidable

Title of article :

Structural soundness of workflow nets is decidable

Author/Authors :

Ferucio Lauren?iu ?iplea، نويسنده , , Dan Cristian Marinescu، نويسنده ,

Issue Information :

دوهفته نامه با شماره پیاپی سال 2005

Pages :

From page :

To page :

Keywords :

Petri net , Workflow net , Soundness , Decidability , Algorithms

Journal title :

Information Processing Letters

Serial Year :

2005

Journal title :

Information Processing Letters

Record number :

130144

Link To Document :