年度	1995
全部作者	赵玉
论文名称	赵玉, 1995.12, 'Linear Algebra Based Verification of Well-Behaved Properties and PInvariants of Petri Nets Synthesized Using Knitting Technique, '.
卷数	119083
发表日期	1995-12-01