中文版 | English

在结果中检索

CSpace

浏览/检索结果: 共10条，第1-10条 帮助

限定条件        
已选(0)清除 条数/页：   排序方式：
基于共享位置的Petri网系统综合与保性 期刊论文
计算机学报, 2007, 卷号: 030, 期号: 003, 页码: 352
作者:  焦莉;  陆维明
收藏  |  浏览/下载：34/0  |  提交时间：2020/01/10
Petri网共享PP-型子网合成性质分析 期刊论文
软件学报, 2007, 卷号: 018, 期号: 001, 页码: 22
作者:  夏传良;  焦莉;  陆维明
收藏  |  浏览/下载：116/0  |  提交时间：2020/01/10
Petri网精细化操作及其在系统设计中的应用 期刊论文
软件学报, 2006, 卷号: 017, 期号: 001, 页码: 11
作者:  夏传良;  焦莉;  陆维明
收藏  |  浏览/下载：39/0  |  提交时间：2020/01/10
一类Petri网系统的活性 期刊论文
计算机学报, 2002, 卷号: 025, 期号: 008, 页码: 883
作者:  林贵献;  陆维明;  焦莉
收藏  |  浏览/下载：90/0  |  提交时间：2020/01/10
关于ESAC网活性和有界性的一个多项式算法 期刊论文
软件学报, 2002, 卷号: 013, 期号: 007, 页码: 1257
作者:  焦莉;  陆维明
收藏  |  浏览/下载：71/0  |  提交时间：2020/01/10
notesonlivenessandboundednessofextendedstrongasymmetricchoicenets 期刊论文
journalofcomputerscienceandtechnology, 2001, 卷号: 016, 期号: 005, 页码: 426
作者:  Lu WM(陆维明);  Jiao L(焦莉)
收藏  |  浏览/下载：82/0  |  提交时间：2020/01/10
非对称选择网活性的一个多项式时间判定英文 期刊论文
软件学报, 2001, 卷号: 12, 期号: 3, 页码: 340
作者:  陆维明;  焦莉
收藏  |  浏览/下载：16/0  |  提交时间：2020/01/10
加权非对称选择网活性和有界性分析 期刊论文
软件学报, 2001, 卷号: 012, 期号: 012, 页码: 1843
作者:  陆维明;  焦莉
收藏  |  浏览/下载：15/0  |  提交时间：2020/01/10
扩展强化非对称选择网的活性和有界性 期刊论文
软件学报, 2001, 卷号: 012, 期号: 009, 页码: 1312
作者:  陆维明;  焦莉
收藏  |  浏览/下载：94/0  |  提交时间：2020/01/10
Notes on Liveness and Boundedness of Extended Strong Asymmetric Choice NetsⅡ 期刊论文
计算机科学技术学报：英文版, 2001, 卷号: 16.0, 期号: 005, 页码: 426-433
作者:  Lu WM(陆维明);  Jiao L(焦莉)
收藏  |  浏览/下载：73/0  |  提交时间：2021/01/14
Petri网  非对称选择网  局限性