Institutional Repository
| Petri网可达性的综合判定法 | |
| Alternative Title | analysis for reachability problem of petri net |
| 胡娟; 刘力惠; 范植华; 李磊; 王常青; 周纬杰 | |
| 2004 | |
| Source | 软件学报
 |
| ISSN | 1000-9825 |
| Volume | 15Issue:7Pages:949-955 |
| English Abstract | Petri网标识的可达性判定问题是进行Petri网分析的基础,而传统的判定方法并不能确保所得结果的可靠性.在揭示Petri网可达性问题的实质之后,讨论了在标识图的同一连通域内标识可达性的判定问题,进而在分析相关原理的基础上提出了一种有效判定Petri网标识可达性的综合判定法.此判定方法综合多种传统判定方法的优点,结合Gr鯾ner基理论,确保了对Petri网标识可达性进行判定所得结果的可靠性. |
| Indexed Type | ei,wanfang,cnki,cscd |
| Keyword | Petri网 可达性 Grobner基 |
| Department | 综合信息系统技术国家级重点实验室 |
| Sponsorship | Coventry University, UK; Institute of Electrical and Electronics Engineers, IEEE; Institution of Electrical Engineers, IEE; British Computer Society, BCS |
| Language | 中文 |
| Content Type | 期刊论文 |
| URI | http://ir.iscas.ac.cn/handle/311060/3542 |
| Collection | 天基综合信息系统全国重点实验室 |
| Recommended Citation 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. |
| Files in This Item: | ||||||
| File Name/Size | DocType | Version | Access | License | ||
| 1.pdf（444KB） | 开放获取 | -- | Application Full Text | |||
Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.
Edit Comment