مرکز منطقه ای اطلاع رساني علوم و فناوري - Cycle inclusion property of augmented marked graphs

Title of article :

Cycle inclusion property of augmented marked graphs

Author/Authors :

K.S. Cheung، نويسنده , , K.O. Chow، نويسنده ,

Issue Information :

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

Pages :

From page :

271

To page :

276

Keywords :

Augmented marked graphs , Cycle inclusion , formal methods , System design , Petri Nets

Journal title :

Information Processing Letters

Serial Year :

2005

Journal title :

Information Processing Letters

Record number :

130093

Link To Document :