×
南卡罗来纳州伊万杰利斯塔。;巴约，C。;普拉达特·佩尔，J.F。

一个简单的正流计算算法，用于一个大型有色网络子类。 （英语） Zbl 1215.68147号

Derrick，John（编辑）等人，《网络和分布式系统的形式化技术——FORTE 2007》。第27届国际单项体育联合会工作组6.1国际会议，爱沙尼亚塔林，2007年6月27日至29日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-73195-5/pbk）。计算机科学课堂讲稿4574177-195（2007）。
总结：正流提供了非常有用的信息，可用于对模型进行有效分析。虽然在普通Petri网中计算正流（生成族）的算法众所周知，但在有色网中计算生成族正流仍然是一个开放的问题。我们在本文中提出了一种实用的方法，该方法允许我们定义一种算法，该算法在一个大的有色网络子类中计算特定但有用的正流的生成族：简单规范网络。
关于整个系列，请参见[Zbl 1119.68006号].

MSC公司：

68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等）
PDF格式BibTeX公司 XML格式引用
\textit｛S.Evangelista｝等人，Lect。注释计算。科学。4574、177--195（2007年；Zbl 1215.68147）
全文： 内政部

参考文献：

[1] Berthelot，G.：使用转换检查网络的属性。收录：Rozenberg，G.（编辑）《Petri网进展》，1985年。LNCS，第222卷，斯普林格，海德堡（1985）
[2] Bruneton，E.，Pradat-Peyre，J.F.：并发ada程序的自动验证。收录：González Harbour，M.，de la Puente，J.A.（编辑）Ada-Europe 1999。LNCS，第1622卷，第146-157页。斯普林格，海德堡（1999）·doi:10.1007/3-540-48753-0_13
[3] Chiola，C.，Dutheillet，C.，Franceschinis，G.，Haddad，S.：关于格式良好的有色网及其符号可达图。In:法国巴黎ICATPN（1990年6月）·Zbl 0903.68130号
[4] Colom，J.M.，Silva，M.：P/T网中的凸几何和半流。最小P-半流计算算法的比较研究。计算机科学课堂讲稿。1990年《Petri网进展》（NewsletterInfo:33390）第483卷，第79-112页（1991年）
[5] Couvreur，J.M.，Haddad，S.，Peyre，J.F.：两类有色网络中正半流生成族的计算。摘自：《第十二届Petri网应用与理论国际会议论文集》，丹麦格杰恩，第122–144页，NewsletterInfo:39（1991年6月）
[6] Couvreur，J.M.，Haddad，S.，Peyre，J.F.：有色网子类中正不变量的生成族。收录：Rozenberg，G.（编辑）《Petri网进展》，1993年。LNCS，第674卷，第51-70页。斯普林格，海德堡（1993）·doi:10.1007/3-540-56689-9_39
[7] Couvreur，J.M.：彩色网流量的一般计算。In:第十一届Petri网应用和理论国际会议进程，巴黎（1990年6月）
[8] Couvreur，J.M.，Haddad，S.：面向参数化彩色网的通用且强大的流量计算。摘自：第九届欧洲Petri网应用和理论研讨会，第二卷，威尼斯（意大利）（1988年6月）
[9] Evangelista，S.：Helena，高效的高级Petri网分析人员。技术报告，CEDRIC，CNAM，巴黎（2004）
[10] Evangelista，S.、Haddad，S.和Pradat-Peyre，J.F.：软件验证的新彩色简化。In:离散事件系统研讨会（2004）·Zbl 1170.68538号
[11] Evangelista，S.、Kaiser，C.、Pajault，C.、Pradat-Peyre，J.F.、Rousseau，P.：类星体的动态任务验证。收录：Vardanega，T.，Wellings，A.J.（编辑）Ada-Europe 2005。LNCS，第3555卷，斯普林格，海德堡（2005）
[12] Evangelista，S.，Kaiser，C.，Pradat-Peyre，J.F.，Rousseau，P.：类星体：分析并发程序的新工具。收录：Rosen，J.-P.，Strohmeier，A.（编辑）Ada-Europe 2003。LNCS，第2655卷，斯普林格，海德堡（2003）·兹比尔1032.68849
[13] Ezpeleta，J.，García-Vallés，F.，Colom，J.M.：柔性制造系统的一类结构良好的petri网。收录：Desel，J.，Silva，M.（编辑）ICATPN 1998。LNCS，第1420卷，第64-83页。斯普林格，海德堡（1998）·doi:10.1007/3-540-69108-15
[14] Garcia-Valles，F.，Colom，J.M.：网络系统中的隐含位置。In：程序。第八届Petri网与性能模型国际研讨会（PNPM’99），1999年10月8日至10日，西班牙萨拉戈萨，第104–113页（1999）·doi:10.1109/PNPM.1999.796557
[15] Genrich，H.J.，Lautenbach，K.：谓词/转换网络中的S-不变性。收录于：Pagnoni，A.，Rozenberg，G.（eds.）Informatik-Fachberichte 66:Petri网的应用和理论——第三届欧洲Petri网应用和理论研讨会论文集，意大利瓦伦纳，1982年9月27日至30日，第98-111页。斯普林格·弗拉格（1983）
[16] Haddad，S.，Girault，C.：规则着色网络流的代数结构。收录：Rozenberg，G.（编辑）《Petri网进展》1987。NewsletterInfo:27，LNCS，第266卷，第73-88页。斯普林格，海德堡（1987）·doi:10.1007/3-540-18086-9_20
[17] Haddad，S.，Pradat-Peyre，J.-F.：并行程序验证的新型高效petri网简化。并行处理信函16（1）、101–116（2006）·Zbl 05153293号 ·doi:10.1142/S0129626406002502
[18] Hillah，L.、Kordon，F.、Petrucci-Douchy，L.和Trèves，N.：Pn标准化：一项调查。收录人：Najm，E.，Pradat-Peyre，J.F.，Donzeau-Gouge，V.V.（编辑）FORTE 2006。LNCS，第4229卷，第307–322页。斯普林格，海德堡（2006）·Zbl 1225.68125号 ·doi:10.1007/11888116_23
[19] Jensen，K.：有色Petri网和不变方法。《财政部会计准则》第14号、第317号至第336号（1981年）·Zbl 0475.68035号
[20] Memmi，G.，Vautherin，J.：一元谓词/转换网络的流计算。收录：Rozenberg，G.（编辑）《Petri网进展》1984。LNCS，第188卷，第455-467页。斯普林格，海德堡（1985）·Zbl 0617.68056号 ·doi:10.1007/3-540-15204-025
[21] Murata，T.：Petri网：特性、分析和应用。IEEE会议记录77（4），39–50（1989）·数字对象标识代码：10.1109/5.24143
[22] Pajault，C.，Pradat-Peyre，J.F.：用循环检验分布式有色petri网模型，LNCS卷：Brim，L.，Haverkort，B.，Leucker，M.，van de Pol，J.（编辑）FMICS 2006和PDMC 2006。LNCS，第4346卷，施普林格，海德堡（2007）
[23] Reisig，W.：EATCS-Petri网简介。斯普林格，海德堡（1983）
[24] Reisig，W.：Petri网和代数规范。理论计算机科学，NewsletterInfo:38,39，第80卷，第1-34页（1991）·Zbl 0727.68080号
[25] Silva Suarez，M.，Martinez，J.，Ladet，P.，Alla，H.：有色petri网的广义逆和符号不变量的计算。《技术与科学信息》，NewsletterInfo:16,21,22，第4卷（1），第113-126页（1985）·Zbl 0558.68054号
[26] Vautherin，J.：pr/T系统的半流动计算。摘自：《Petri网和性能模型国际研讨会》，威斯康星州麦迪逊，NewsletterInfo:29，第174-183页。IEEE计算机学会出版社，华盛顿（1987）
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。