Title: | Petri网可达性的综合判定法 |
Alternative Title: | analysis for reachability problem of petri net
|
Author: | 胡娟
; 刘力惠
; 范植华
; 李磊
; 王常青
; 周纬杰
|
Keyword: | Petri网
; 可达性
; Grobner基
|
Source: | 软件学报
|
Issued Date: | 2004
|
Volume: | 15, Issue:7, Pages:949-955 | Indexed Type: | ei,wanfang,cnki,cscd
|
Department: | 综合信息系统技术国家级重点实验室
|
Sponsorship: | Coventry University, UK; Institute of Electrical and Electronics Engineers, IEEE; Institution of Electrical Engineers, IEE; British Computer Society, BCS
|
Abstract: | Petri网标识的可达性判定问题是进行Petri网分析的基础,而传统的判定方法并不能确保所得结果的可靠性.在揭示Petri网可达性问题的实质之后,讨论了在标识图的同一连通域内标识可达性的判定问题,进而在分析相关原理的基础上提出了一种有效判定Petri网标识可达性的综合判定法.此判定方法综合多种传统判定方法的优点,结合Gr鯾ner基理论,确保了对Petri网标识可达性进行判定所得结果的可靠性. |
Language: | 中文
|
Content Type: | 期刊论文
|
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.
|
|
|