Title of article
Cycle inclusion property of augmented marked graphs
Author/Authors
K.S. Cheung، نويسنده , , K.O. Chow، نويسنده ,
Issue Information
دوهفته نامه با شماره پیاپی سال 2005
Pages
6
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