首页 >> 收录期刊 >> 软件学报 >> 正文
杂志中文名:软件学报
杂志英文名:Journal of Software
主管单位:中国科学院
主办单位:中国科学院软件研究所、中国计算机学会
地址:北京海淀区中关村南4街4号中科院软件所(8718信箱)
邮编:100080
电话:010-62562563 ;
Email:jos@iscas.ac.cn
ISSN:1000-9825
主编:李明树












Petri网可达性的综合判定法
引用本文:胡娟,刘力惠,范植华,李磊,王常青,周纬杰.Petri网可达性的综合判定法[J].软件学报,2004,15(7):949-955.
作者姓名:胡娟  刘力惠  范植华  李磊  王常青  周纬杰
作者单位:中国科学院,软件研究所,北京,100080
基金项目:国家高技术研究发展计划(863)~~
摘    要:Petri网标识的可达性判定问题是进行Petri网分析的基础,而传统的判定方法并不能确保所得结果的可靠性.在揭示Petri网可达性问题的实质之后,讨论了在标识图的同一连通域内标识可达性的判定问题,进而在分析相关原理的基础上提出了一种有效判定Petri网标识可达性的“综合判定法”.此判定方法综合多种传统判定方法的优点,结合Grobner基理论,确保了对Petri网标识可达性进行判定所得结果的可靠性.

关 键 词:Petri网  可达性  Grobner基
文章编号:1000-9825/2004/15(07)0949
修稿时间:2003年12月23
作者简介:胡娟(1977-),女,湖南沅江人,硕士生,主要研究领域为并行计算,网络,软件工程;刘力惠(1973-),女,工程师,主要研究领域为Petri网络,并行计算;范植华(1942-),男,研究员,博士生导师,主要研究领域为并行计算;李磊(1971-),男,研究员,博士生导师,主要研究领域为操作系统,电子政务,软件工程;王常青(1978-),男,博士生,主要研究领域为算法,人机交互理论;周纬杰(1975-),男,高级工程师,主要研究领域为操作系统,软件工程,综合信息网.

Analysis for Reachability Problem of Petri Net
HU Juan+,LIU Li-Hui,FAN Zhi-Hua,LI Lei,WANG Chang-Qing,ZHOU Wei-Jie.Analysis for Reachability Problem of Petri Net[J].Journal of Software,2004,15(7):949-955.
Authors:HU Juan  LIU Li-Hui  FAN Zhi-Hua  LI Lei  WANG Chang-Qing  ZHOU Wei-Jie
Abstract:
Keywords:
本文献已被 CNKI 维普 万方数据 等数据库收录!