{“@context”：“https:\/\/schema.org\/”，“@type”：“ScholarlyArticle”，“@id”：“#article14106”，“name”：“即时观察Petri网的平坦性和复杂性”，“抽象”：“在上一篇论文中，我们介绍了即时观察（IO）Petri网是研究种群协议和酶化学网络的一类重要工具。在本文的第一部分中，我们表明IO网络是全局平坦的，因此可以通过使用加速技术（如FAST）的高效符号模型检查工具检查其安全属性。在第二部分中，我们研究了分支IO网络（BIO网络），其转换可以创建令牌。BIO网扩展了IO网和无通信网，也称为BPP网，这是一个被广泛研究的类。我们表明，虽然BIO网络不再是全局平坦的，并且它们的可达标记集可能是非线性的，但它们仍然是局部平坦的。因此，BIO网络的覆盖性和可达性问题，甚至是其特定的集参数版本，都是在PSPACE中。这使得BIO网成为第一个具有非线性可达关系的自然网类，其可达性问题可证明比一般Petri网更简单。“，”keywords“：[”Petri Nets“，”Reachability Analysis“，”Parameterized Verification“，”Flattability“]，”author“：[{”@type“：”Person“，”name“：”Raskin，Mikhail“，”givenName“：”Mikhail“，”familyName“：“Raskin”，”email“：”mailto:“raskin@in.tum.de公司“，”sameAs“：”https:\/\/orcid.org\/00000-0002-6660-5673“，”affiliation“：”Technical University of Munich，Germany“}，{”@type“：“Person”，“name”：“Weil-Kennedy，Chana”，“givenName”：“Chana”chana.weilkennedy@in.tum.de“，”sameAs“：”https:\/\/orcid.org\/00000-0002-1351-8824“，”affiliation“：”Technical University of Munich，Germany“}，{”@type“：“Person”，“name”：“Esparza，Javier”，“givenName”：“Javieresparza@in.tum.de（电子邮箱）“，”sameAs“：”https:\/\/orcid.org\/00000-0001-9862-4919“，”affiliation“：”德国慕尼黑工业大学“}]，”position“：45，”pageStart“：“45:1”，”pageEnd“：”45:19“，“dateCreated”：“2020-08-26”，“datePublished”：“2020-08-26”，“isAccessibleForFree”：true，“license”：“https:\//creativecommons.org\/licenses\/by\/3.0\/legalcode”，“copyrightHolder”：[{“@type”：“个人“，”姓名“：”Raskin，Mikhail“，”givenName“：”Mikhaile“，”familyName“：“Raskin”，”email“：”mailto:“raskin@in.tum.de“，”sameAs“：”https:\/\/orcid.org\/00000-0002-6660-5673“，”affiliation“：”Technical University of Munich，Germany“}，{”@type“：“Person”，“name”：“Weil-Kennedy，Chana”，“givenName”：“Chana”chana.weilkennedy@in.tum.de“，”sameAs“：”https:\/\/orcid.org\/00000-0002-1351-8824“，”affiliation“：”Technical University of Munich，Germany“}，{”@type“：“Person”，“name”：“Esparza，Javier”，“givenName”：“Javieresparza@in.tum.de（电子邮箱）“，”sameAs“：”https:\/\/orcid.org\/00000-0001-9862-4919“，”affiliation“：”德国慕尼黑理工大学“}]，”copyrightYear“：”2020“，”accessMode“：”textal“，”accessModeSufficient“：”extual“，”creativeWorkStatus“：”Published“，”inLanguage“：”en-US“，”smeas“：”http://doi.org\/10.4230\/LIPIcs。CONCUR.202.45”，“资助”：“该项目已根据第787367号拨款协议（PaVeS）获得欧洲研究委员会（ERC）在欧盟地平线2020研究和创新计划下的资助。“，”publisher“：”Schloss Dagstuhl\u2013 Leibniz-Zentrum f\u00fcr Informatik“，”引文“：[”http://www.montefore.ulg.ac.be\/~boigelot\/research\/lash\/index.html“，”https:\/\/www.wikidata.org\/entity\/Q59557027“]，“isPartOf”：{“@type”：“PublicationVolume”，“@id”：“#volume6374”，“volumeNumber”：171，“name”：“第31届国际并发理论会议（CONCUR 2020）”，“dateCreated”：“2020-08-26”，“日期Published”：“2020年8月26日”，“editor”：[{“@type”：“Person”，“name”：“Konnov，Igor”，“givenName”：“Igor“，”familyName“：”Konnov“，”email“：”mailto:“igor@informal.systems“，”sameAs“：”https:\/\/orcid.org/0000-0001-6629-3377“，”附属机构“：”非正式系统，维也纳，奥地利“｝，｛”@type“：”Person“，”name“：”Kov\u00e1cs，Laura“，”givenName“：”Laura“，”familyName“：”Kov\u00e1cs“，”电子邮件“：”mailto:lkovacs@forsyte.tuwien.ac.at邮箱“，”sameAs“：”https:\/\/orcid.org\/00000-0002-8299-2714“，”affiliation“：”TU Wien，Austria“}]，”isAccessibleForFree“：true，”publisher“：“Schloss Dagstuhl\u2013 Leibniz-Zentrum f\u00fcr Informatik”，“hasPart”：“#article14106”，“isPartOf”：{“@type”：”Periodical“，”@id“：”#series116“，”name“：”Leibniz International Proceedings in Informatics“，”issn“：“1868-8969”，“isAccessibleForFree“：true，”publisher“：”Schloss Dagstuhl\u2013莱布尼兹-泽特鲁姆f\u00fcr Informatik“，”hasPart“：“#volume6374”}}“