| Petri网可达性的综合判定法 |
| 其他题名 | analysis for reachability problem of petri net
|
| 胡娟; 刘力惠; 范植华; 李磊; 王常青; 周纬杰
|
| 2004
|
| 发表期刊 | 软件学报
 |
| ISSN | 1000-9825
|
| 卷号 | 15期号:7页码:949-955 |
| 摘要 | Petri网标识的可达性判定问题是进行Petri网分析的基础,而传统的判定方法并不能确保所得结果的可靠性.在揭示Petri网可达性问题的实质之后,讨论了在标识图的同一连通域内标识可达性的判定问题,进而在分析相关原理的基础上提出了一种有效判定Petri网标识可达性的综合判定法.此判定方法综合多种传统判定方法的优点,结合Gr鯾ner基理论,确保了对Petri网标识可达性进行判定所得结果的可靠性. |
| 收录类别 | ei,wanfang,cnki,cscd
|
| 关键词 | Petri网
可达性
Grobner基
|
| 部门归属 | 综合信息系统技术国家级重点实验室
|
| 资助者 | Coventry University, UK; Institute of Electrical and Electronics Engineers, IEEE; Institution of Electrical Engineers, IEE; British Computer Society, BCS
|
| 语种 | 中文
|
| 内容类型 | 期刊论文
|
| URI标识 | http://ir.iscas.ac.cn/handle/311060/3542
|
| 专题 | 天基综合信息系统全国重点实验室
|
推荐引用方式
GB/T 7714 |
胡娟,刘力惠,范植华,等. Petri网可达性的综合判定法[J]. 软件学报,2004,15(7):949-955.
|
| APA |
胡娟,刘力惠,范植华,李磊,王常青,&周纬杰.(2004).Petri网可达性的综合判定法.软件学报,15(7),949-955.
|
| MLA |
胡娟,et al."Petri网可达性的综合判定法".软件学报 15.7(2004):949-955.
|
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。
修改评论