2001, Vol. 29(2): 199-203    DOI:
随机Petri网非乘积解系统的判定与界限求解
刘道斌1, 林 闯2, 陆维明1
1. 中国科学院数学研究所,北京100080;2. 清华大学计算机系,北京100084
收稿日期 1999-12-20  修回日期 2000-04-20
Supporting info
国家自然科学基金No.69773016,69873012;国家重点基础研究发展规划项目(No.G1998030416,G1999032707)