|
|
|
|
| 题名: | Petri网可达性的综合判定法 |
| 其他题名: | analysis for reachability problem of petri net
|
| 作者: | 胡娟
; 刘力惠
; 范植华
; 李磊
; 王常青
; 周纬杰
|
| 关键词: | Petri网
; 可达性
; Grobner基
|
| 刊名: | 软件学报
|
| 发表日期: | 2004
|
| 卷: | 15, 期:7, 页:949-955 | | 收录类别: | ei,wanfang,cnki,cscd
|
| 部门归属: | 综合信息系统技术国家级重点实验室
|
| 资助者: | Coventry University, UK; Institute of Electrical and Electronics Engineers, IEEE; Institution of Electrical Engineers, IEE; British Computer Society, BCS
|
| 摘要: | Petri网标识的可达性判定问题是进行Petri网分析的基础,而传统的判定方法并不能确保所得结果的可靠性.在揭示Petri网可达性问题的实质之后,讨论了在标识图的同一连通域内标识可达性的判定问题,进而在分析相关原理的基础上提出了一种有效判定Petri网标识可达性的综合判定法.此判定方法综合多种传统判定方法的优点,结合Gr鯾ner基理论,确保了对Petri网标识可达性进行判定所得结果的可靠性. |
| 语种: | 中文
|
| 内容类型: | 期刊论文
|
| URI标识: | http://ir.iscas.ac.cn/handle/311060/3542
|
| Appears in Collections: | 综合信息系统技术国家级重点实验室 _期刊论文
|
| File Name/ File Size |
Content Type |
Version |
Access |
License |
|
|---|
| 1.pdf（444KB） | -- | -- | 限制开放 | -- | 联系获取全文 |
|
| Recommended Citation: | |
胡娟,刘力惠,范植华,等. Petri网可达性的综合判定法[J]. 软件学报,2004-01-01,15(7):949-955.
|
|
|
|
|
|
Items in IR are protected by copyright, with all rights reserved, unless otherwise indicated. |
|
