搜索筛选:
搜索耗时5.2104秒,为你在为你在102,285,761篇论文里面共找到 4 篇相符的论文内容
发布年度:
[学位论文] 作者：邱经华,
来源：山东科技大学 年份：2004
可达性是Petri网的最基本的动态性质之一。它是研究Petri网其它动态性质的基石，许多Petri网的其他问题都可以通过其可达性来表述。因此，可达性判定问题Petri网理论研究的一个重...
[会议论文] 作者：高茜,邱经华,
来源：全国第18届计算机技术与应用学术会议(CACIS) 年份：2007
可达性是Petri网的最基本的动态性质之一。它是研究Petri网其它动态性质的基石,许多Petri网的其他问题都可以通过其可达性来表述。已有文献提出通过解petri网的状态方程并判...
[期刊论文] 作者：邱经华,吴哲辉,
来源：系统仿真学报 年份：2003
可达性是Petri网的一个基本性质,其判定问题是Petri网理论研究方面的一个重要课题。众所周知,一个Petri网的状态方程可满足性是其可达性的一个必要不充分条件。然而[2]证明了,对于活的T-系统,其状态方程可满足性是其可达性的一个充分必要条件。另外[3]指出,对于......
[期刊论文] 作者：陈平华,刘怡俊,邱经华,
来源：现代计算机：下半月版 年份：2006
可选性判定问题是Petri网理论研究的一个重要课题。已有文献提出通过构造Petri网岛可达树或可覆盖树来分析其可达性。但其中无界量ω的引入导致了无界Petri网运行过程中的信...
相关搜索：
