Petri网可达性的综合判定法
| Data(s) |
2004
|
|---|---|
| Resumo |
Petri网标识的可达性判定问题是进行Petri网分析的基础,而传统的判定方法并不能确保所得结果的可靠性.在揭示Petri网可达性问题的实质之后,讨论了在标识图的同一连通域内标识可达性的判定问题,进而在分析相关原理的基础上提出了一种有效判定Petri网标识可达性的综合判定法.此判定方法综合多种传统判定方法的优点,结合Gr鯾ner基理论,确保了对Petri网标识可达性进行判定所得结果的可靠性. Coventry University, UK; Institute of Electrical and Electronics Engineers, IEEE; Institution of Electrical Engineers, IEE; British Computer Society, BCS |
| Identificador | |
| Idioma(s) |
中文 |
| Fonte |
胡娟; 刘力惠; 范植华; 李磊; 王常青; 周纬杰.Petri网可达性的综合判定法,软件学报,2004,15(7):949-955 |
| Palavras-Chave | #Petri网 #可达性 #Grobner基 |
| Tipo |
期刊论文 |
