无界Petri网的可达树的综述
Petri 网自提出以来得到了学术界和工业界的广泛关注。 Petri 网系统的可达性是最基本性质之一。系统的其他相关性质都可以通过可达性进行分析。利用等价的有限可达树来研究无界Petri 网可达性，依然是一个开放性问题。该研究可以追溯到40年前，但由于问题本身的复杂性和难度太大，直到最近20年，经过国内外诸多学者的不懈努力，才逐渐取得了一些阶段性的成果和部分突破。本文回顾了近40年来国内外学者为彻底解决该问题作出的贡献。重点对4种开创性的研究成果展开讨论，分别为有限可达树、扩展可达树、改进可达树及新型改进可达树。探讨了今后无界Petri网可达性问题的研究方向。...
Saved in:
| Published in | 自动化学报 Vol. 41; no. 4; pp. 686 - 693 |
|---|---|
| Main Author | |
| Format | Journal Article |
| Language | Chinese |
| Published |
新泽西理工学院电子与计算机工程系 纽瓦克市 07102，美国%东南大学自动化学院 南京210096，中国
2015
浙江工商大学信息与电子工程学院 杭州 310018，中国 同济大学电子与信息工程学院 上海 201804，中国%浙江工商大学信息与电子工程学院 杭州 310018，中国%同济大学电子与信息工程学院 上海 201804，中国 |
| Subjects | |
| Online Access | Get full text |
| ISSN | 0254-4156 1874-1029 |
| DOI | 10.16383/j.aas.2015.c140097 |
Cover
| Abstract | Petri 网自提出以来得到了学术界和工业界的广泛关注。 Petri 网系统的可达性是最基本性质之一。系统的其他相关性质都可以通过可达性进行分析。利用等价的有限可达树来研究无界Petri 网可达性，依然是一个开放性问题。该研究可以追溯到40年前，但由于问题本身的复杂性和难度太大，直到最近20年，经过国内外诸多学者的不懈努力，才逐渐取得了一些阶段性的成果和部分突破。本文回顾了近40年来国内外学者为彻底解决该问题作出的贡献。重点对4种开创性的研究成果展开讨论，分别为有限可达树、扩展可达树、改进可达树及新型改进可达树。探讨了今后无界Petri网可达性问题的研究方向。 |
|---|---|
| AbstractList | Petri 网自提出以来得到了学术界和工业界的广泛关注。 Petri 网系统的可达性是最基本性质之一。系统的其他相关性质都可以通过可达性进行分析。利用等价的有限可达树来研究无界Petri 网可达性，依然是一个开放性问题。该研究可以追溯到40年前，但由于问题本身的复杂性和难度太大，直到最近20年，经过国内外诸多学者的不懈努力，才逐渐取得了一些阶段性的成果和部分突破。本文回顾了近40年来国内外学者为彻底解决该问题作出的贡献。重点对4种开创性的研究成果展开讨论，分别为有限可达树、扩展可达树、改进可达树及新型改进可达树。探讨了今后无界Petri网可达性问题的研究方向。 |
| Abstract_FL | In recent years both industry and academia have paid much attention to the theory and applications of Petri nets. Reachability is a basic property of a Petri net, and many properties can be analyzed via it. However, analyzing the reachability problem of unbounded Petri nets by finite reachability trees has been an open problem since the inception of Petri nets. Researchers began to study the problem of reachability trees over 40 years ago. However, they made only limited progress over the last 20 years due to its complexity and di?culty. We present an overview of some important contributions toward its solution. The focuses are on four novel finite reachability trees: finite reachability tree (FRT), augmented reachability tree (ART), modified reachability tree (MRT) and new modified reachailbity tree (NMRT). The paper concludes with a discussion of directions for future research of the reachability problem of unbounded Petri nets. |
| Author | 干梦迪 王寿光 周孟初 李俊 李月 |
| AuthorAffiliation | 浙江工商大学信息与电子工程学院,杭州310018 同济大学电子与信息工程学院,上海201804 新泽西理工学院电子与计算机工程系,美国纽瓦克市07102 东南大学自动化学院,南京210096 |
| AuthorAffiliation_xml | – name: 浙江工商大学信息与电子工程学院 杭州 310018，中国; 同济大学电子与信息工程学院 上海 201804，中国%浙江工商大学信息与电子工程学院 杭州 310018，中国%同济大学电子与信息工程学院 上海 201804，中国; 新泽西理工学院电子与计算机工程系 纽瓦克市 07102，美国%东南大学自动化学院 南京210096，中国 |
| Author_FL | ZHOU Meng-Chu LI Yue LI Jun GAN Meng-Di WANG Shou-Guang |
| Author_FL_xml | – sequence: 1 fullname: GAN Meng-Di – sequence: 2 fullname: WANG Shou-Guang – sequence: 3 fullname: ZHOU Meng-Chu – sequence: 4 fullname: LI Jun – sequence: 5 fullname: LI Yue |
| Author_xml | – sequence: 1 fullname: 干梦迪 王寿光 周孟初 李俊 李月 |
| BookMark | eNotj8tKw0AYhQepYKx9AncK7hL_uWVmllK8QUEX3Yc_00ybohNNFC9rl4K4EMFV30D3an0amz6GKXV1zuLjXNZJyxc-I2STQkRjrvnuOEKsIgZURpYKAKNWSEC1EiEFZlokACZFKKiM10inqvIUqBLKMA4B2Z69TuqXx9Psqszr7-f67eH36X0-nc4mC19_fs1_PjbIqsOzKuv8a5v0D_b73aOwd3J43N3rhVZqFuqMOia14lKhBqss6lQDNoMEMm5ikyocWAbSoUkpQxGjE84JTU0GmTC8TXaWsTfoHfphMi6uS98UJveD0W26-AfNO9aAW0vQjgo_vMwb9KLMz7G8S-JYcNDAgf8BcUpajA |
| ContentType | Journal Article |
| Copyright | Copyright © Wanfang Data Co. Ltd. All Rights Reserved. |
| Copyright_xml | – notice: Copyright © Wanfang Data Co. Ltd. All Rights Reserved. |
| DBID | 2RA 92L CQIGP W92 ~WA 2B. 4A8 92I 93N PSX TCJ |
| DOI | 10.16383/j.aas.2015.c140097 |
| DatabaseName | 维普期刊资源整合服务平台 中文科技期刊数据库-CALIS站点 维普中文期刊数据库 中文科技期刊数据库-工程技术 中文科技期刊数据库- 镜像站点 Wanfang Data Journals - Hong Kong WANFANG Data Centre Wanfang Data Journals 万方数据期刊 - 香港版 China Online Journals (COJ) China Online Journals (COJ) |
| DatabaseTitleList | |
| DeliveryMethod | fulltext_linktorsrc |
| Discipline | Engineering |
| DocumentTitleAlternate | A Survey of Reachability Trees of Unbounded Petri Nets |
| DocumentTitle_FL | A Survey of Reachability Trees of Unbounded Petri Nets |
| EISSN | 1874-1029 |
| EndPage | 693 |
| ExternalDocumentID | zdhxb201504002 664308030 |
| GrantInformation_xml | – fundername: Manuscript received February 19,2014; accepted May 15,2014国家自然科学基金; 浙江省杰出青年基金; 浙江省科技计划项目; 浙江省新型网络标准与应用技术重点实验室(2013E10012)资助Supported by National Natural Science Foundation of China; Zhejiang Natural Science Foundation for Distinguished Young Scholar; Zhejiang Science and Technology Project; Zhejiang New Network Standard and Technology (NNST) Key Laboratory funderid: Manuscript received February 19,2014; (61374148,61100056,61374069); (LR14F020001); (2013C31111); (61374148,61100056,61374069); (LR14F020001); (2013C31111); (2013E10012) |
| GroupedDBID | --K -0Y .~1 0R~ 1B1 1~. 1~5 2B. 2C0 2RA 4.4 457 4G. 5GY 5VS 5XA 5XJ 7-5 71M 8P~ 92H 92I 92L AAIKJ AALRI AAQFI AAXUO ACGFS ADEZE ADTZH AECPX AEKER AFTJW AGHFR AGYEJ AITUG AJOXV ALMA_UNASSIGNED_HOLDINGS BLXMC CCEZO CQIGP CS3 CUBFJ CW9 EBS EFLBG EJD EO8 EO9 EP2 EP3 FDB FEDTE FNPLU GBLVA HVGLF HZ~ IHE J1W JJJVA M41 MO0 N9A O-L O9- OAUVE OZT P-8 P-9 P2P PC. Q38 ROL RPZ SDF SDG SES TCJ TGT U1G U5S W92 ~WA 4A8 93N ABJNI ABWVN ACRPL ADNMO PSX |
| ID | FETCH-LOGICAL-c582-8e1f2587357a80c7ca8b80a1404a23969b7adc205fa9b12a46af4ff4819e0e493 |
| ISSN | 0254-4156 |
| IngestDate | Thu May 29 04:10:30 EDT 2025 Wed Feb 14 10:31:12 EST 2024 |
| IsPeerReviewed | true |
| IsScholarly | true |
| Issue | 4 |
| Keywords | 无界Petri网 Unbounded Petri nets 离散事件系统 reachability tree reachability problem 可达性问题 可达树 discrete event system |
| Language | Chinese |
| LinkModel | OpenURL |
| MergedId | FETCHMERGED-LOGICAL-c582-8e1f2587357a80c7ca8b80a1404a23969b7adc205fa9b12a46af4ff4819e0e493 |
| Notes | Unbounded Petri nets; reachability tree; reachability problem; discrete event system In recent years both industry and academia have paid much attention to the theory and applications of Petri nets. Reachability is a basic property of a Petri net, and many properties can be analyzed via it. However, analyzing the reachability problem of unbounded Petri nets by finite reachability trees has been an open problem since the inception of Petri nets. Researchers began to study the problem of reachability trees over 40 years ago. However, they made only limited progress over the last 20 years due to its complexity and di-culty. We present an overview of some important contributions toward its solution. The focuses are on four novel finite reachability trees： finite reachability tree （FRT）, augmented reachability tree （ART）, modified reachability tree （MRT） and new modified reachailbity tree （NMRT）. The paper concludes with a discussion of directions for future research of the reachability problem of unbounded Petri n |
| PageCount | 8 |
| ParticipantIDs | wanfang_journals_zdhxb201504002 chongqing_primary_664308030 |
| PublicationCentury | 2000 |
| PublicationDate | 2015 |
| PublicationDateYYYYMMDD | 2015-01-01 |
| PublicationDate_xml | – year: 2015 text: 2015 |
| PublicationDecade | 2010 |
| PublicationTitle | 自动化学报 |
| PublicationTitleAlternate | Acta Automatica Sinica |
| PublicationTitle_FL | Acta Automatica Sinica |
| PublicationYear | 2015 |
| Publisher | 新泽西理工学院电子与计算机工程系 纽瓦克市 07102，美国%东南大学自动化学院 南京210096，中国 浙江工商大学信息与电子工程学院 杭州 310018，中国 同济大学电子与信息工程学院 上海 201804，中国%浙江工商大学信息与电子工程学院 杭州 310018，中国%同济大学电子与信息工程学院 上海 201804，中国 |
| Publisher_xml | – name: 浙江工商大学信息与电子工程学院 杭州 310018，中国 – name: 同济大学电子与信息工程学院 上海 201804，中国%浙江工商大学信息与电子工程学院 杭州 310018，中国%同济大学电子与信息工程学院 上海 201804，中国 – name: 新泽西理工学院电子与计算机工程系 纽瓦克市 07102，美国%东南大学自动化学院 南京210096，中国 |
| SSID | ssib017479230 ssib001102911 ssib006576350 ssib051375349 ssib007293330 ssj0059721 ssib007290157 ssib023646446 ssib005904210 |
| Score | 2.108892 |
| Snippet | Petri 网自提出以来得到了学术界和工业界的广泛关注。 Petri 网系统的可达性是最基本性质之一。系统的其他相关性质都可以通过可达性进行分析。利用等价的有限可达树来研究无... |
| SourceID | wanfang chongqing |
| SourceType | Aggregation Database Publisher |
| StartPage | 686 |
| SubjectTerms | 可达性问题 可达树 无界Petri网 离散事件系统 |
| Title | 无界Petri网的可达树的综述 |
| URI | http://lib.cqvip.com/qk/90250X/201504/664308030.html https://d.wanfangdata.com.cn/periodical/zdhxb201504002 |
| Volume | 41 |
| hasFullText | 1 |
| inHoldings | 1 |
| isFullTextHit | |
| isPrint | |
| journalDatabaseRights | – providerCode: PRVESC databaseName: Baden-Württemberg Complete Freedom Collection (Elsevier) customDbUrl: eissn: 1874-1029 dateEnd: 99991231 omitProxy: true ssIdentifier: ssj0059721 issn: 0254-4156 databaseCode: GBLVA dateStart: 20110101 isFulltext: true titleUrlDefault: https://www.sciencedirect.com providerName: Elsevier – providerCode: PRVESC databaseName: Elsevier SD Freedom Collection customDbUrl: eissn: 1874-1029 dateEnd: 20151031 omitProxy: true ssIdentifier: ssj0059721 issn: 0254-4156 databaseCode: .~1 dateStart: 20070101 isFulltext: true titleUrlDefault: https://www.sciencedirect.com providerName: Elsevier |
| link | http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwnV1LbxMxELZCeoED4ilKeVQCn6ItG6-fR2-yoUKIU0C9RftsTmmBVEI5c0RCHBASElL_AdyB8mto-jOYsTfJQhECpNXKrxmvd7zjGa_9mZC74E8XsptXgZKKBVwUKshEroIqLGSuDWNF6hbIPpLbj_mDHbHTan1orFo6mGZb-ey3-0r-R6qQBnLFXbL_INklU0iAMMgX7iBhuP-VjGkiqVHUhjRR1Aiqe-6ALIzFfWq6LtlSzWkCmQNqBzTRNE7wAlKg-6kMUMU07rkyAxqHTcMVEzVUZR0rS612gR41EgO2T61EnpglFlLEnNjQmLnamCvieFvbwep0QnXsyAeYigzhMh0MwZP5OoC18Xmamn7HtbmPpAlHIm2bSRDoUX-C32Iuw-_jrJUdOKoBOpN-XPLKWCsOw0Q9I1Jraw-TVfdK3lC9cgGp7WP-3MVTAwSom8iNEGmKYO1dsZWDixn6NcK_IG9LsNbAoI7CM2SN4XRPm6zdjx8-sSt7E5-uoSCFAR3YsKekQLy_VVzhX-vGb2aIR9HKfwPvEOEcl3EE95cNf110I_Au0V_2poZA6CU3iVi_vBpWCxt573QTET5kvDfZfQpGkdujNqnSyW7DnBpeIOdrP2jT-k59kbRm40vkXAMd8zK5c_zucP72levS869v5u9ffn_98eTo6PgQw_PPX06-fbpChoNk2NsO6jM9glyAL6fLbsWEVpFQqQ5zlac602GKGE8pi4w0mUqLnIWiSk3WZSmXacWrioPdWoYlN9FV0p7sTcprZJOHZVUImTHDNRdhCWaVyouyBJ8gynnE1snGsrWjfQ_dMlqKdJ3crts_qj_o56NZMX6R4QvDgY1d_yP9BjmLJf1k3A3Snj47KG-CeTrNbtWd5AfAeWYc |
| linkProvider | Elsevier |
| openUrl | ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.genre=article&rft.atitle=%E6%97%A0%E7%95%8CPetri%E7%BD%91%E7%9A%84%E5%8F%AF%E8%BE%BE%E6%A0%91%E7%9A%84%E7%BB%BC%E8%BF%B0&rft.jtitle=%E8%87%AA%E5%8A%A8%E5%8C%96%E5%AD%A6%E6%8A%A5&rft.au=%E5%B9%B2%E6%A2%A6%E8%BF%AA+%E7%8E%8B%E5%AF%BF%E5%85%89+%E5%91%A8%E5%AD%9F%E5%88%9D+%E6%9D%8E%E4%BF%8A+%E6%9D%8E%E6%9C%88&rft.date=2015&rft.issn=0254-4156&rft.eissn=1874-1029&rft.volume=41&rft.issue=4&rft.spage=686&rft.epage=693&rft_id=info:doi/10.16383%2Fj.aas.2015.c140097&rft.externalDocID=664308030 |
| thumbnail_s | http://utb.summon.serialssolutions.com/2.0.0/image/custom?url=http%3A%2F%2Fimage.cqvip.com%2Fvip1000%2Fqk%2F90250X%2F90250X.jpg http://utb.summon.serialssolutions.com/2.0.0/image/custom?url=http%3A%2F%2Fwww.wanfangdata.com.cn%2Fimages%2FPeriodicalImages%2Fzdhxb%2Fzdhxb.jpg |