中国科学院数学与系统科学研究院期刊网
用 Petri 网研究一次不定方程
许安国;吴哲辉
INVESTIGATING THE FIRST-ORDER INDETERMINATE EQUATION BY MEANS OF PETRI NETS
XU AN-GUO WU ZHE-HUI
系统科学与数学 . 1992, (2): 158 -168 .  DOI: 10.12341/jssms08656