当前位置：数字出版物超市 >> 学者知网节 >> 承担国家项目资助发文
共有记录8条
序号 题名 作者 文献来源 发表年份 被引频次 下载频次
1 Petri网化简规则在系统中的实现 杨雪,蒋昌俊 计算机工程与应用 2003 2 47
2 基于时间Petri网的供应链管理建模与分析 马小颖,蒋昌俊 计算机工程 2003 18 280
3 扩展Petri网在实时数据库并发控制中的应用 韩耀军,罗雪梅,蒋昌俊 系统仿真学报 2003 2 41
4 投入产出系统Petri网模型 赵明清,张秀娟,蒋昌俊 系统仿真学报 2003 0 63
5 网上证券交易系统的时序Petri网描述及验证 杜玉越,蒋昌俊 软件学报 2002 13 96
6 基于网语言的Ada程序局部性质的分析和验证 丁志军,蒋昌俊 软件学报 2002 3 39
7 同步合成网的完全顺序行为不变性 蒋昌俊 应用科学学报 2000 12 30
8 Polynomial-time algorithm for the legal firing sequences problem of a type of synchronous composition Petri nets 蒋昌俊 Science in China,Ser.F 2001 0 15