×
鲁迪盖·瓦尔克;马提亚斯·扬岑

向量集的剩余及其在Petri网可判定性问题中的应用。 （英语） Zbl 0545.68051号

学报信息。 21, 643-674 (1985).
研究了对分析、构造或控制Petri网非常重要的各种右闭向量集。右闭向量集（K=K+{mathbb{N}}^N）的最小生成集是有限的，称为K:\（res（K）的剩余集结果表明，对于各种对Petri网分析很重要的集（如CONTINUAL（T）、UNBOUNDED或NOTBLOCKED（T）），可以有效地计算它们各自的剩余集。计算剩余集的新方法不仅解决了许多开放问题，而且给出了一种控制Petri网以实现其最大活性子行为的方法。这为Dijkstra描述的银行家问题提供了一个新的解决方案。

引用于22文件

MSC公司：

68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等）
第68页第25页 操作系统理论

关键词：

右闭向量集;Petri网;剩余集;最大活子行为;银行家问题
PDF格式BibTeX公司 XML格式引用
\textit{R.Valk}和\textit{M.Jantzen}，《信息学报》21，643--674（1985；Zbl 0545.68051）
全文： 内政部

参考文献：

[1] Brinch Hansen，P.：操作系统原理。恩格尔伍德悬崖：普伦蒂斯大厅1973·Zbl 0308.68007号
[2] 布拉姆斯（G.W.Brams）：《佩特里之路》（Réseaux de Petri）：《托里和普拉蒂克》（Théorie et pratique）。巴黎：马森1983·Zbl 0508.68034号
[3] Burkhard，H.D.：Petri网的两个泵引理。EIK 17，349-362（1981）·Zbl 0494.68065号
[4] Byrn，H.W.：顺序进程、死锁和信号量原语。哈佛大学，技术代表7-75，剑桥1975
[5] Carstensen，H.：费尔恩·贝·彼得林岑（Fairneßbei Petrinetzen mit unendlichem Verhalten）。汉堡大学，Fachbereich Informatik，报告B-93/82（1982）
[6] Conway，J.H.：正则代数和有限机器。伦敦：查普曼和霍尔1971·Zbl 0231.94041号
[7] Carstensen，H.，Valk，R.：Petri网中的无限行为和公平。第四届欧洲Petri网应用和理论研讨会，法国图卢兹（1983年）·Zbl 0571.68045号
[8] Dijkstra，E.W.：合作顺序过程。收录：编程语言43-112 F.Genuys（编辑）。伦敦学术出版社：1968年
[9] Best，E，Thiagarajan，P.S.：第24（iii）页。收录于：EATCS公告20、310（1983）
[10] Eilenberg，S.，Schützenberger，M.P.：交往幺半群中的有理集合。《代数杂志》13，173-191（1969）·Zbl 0206.02703号 ·doi:10.1016/0021-8693（69）90070-2
[11] Genrich，H.J.、Lautenbach，K.：就地事实/转换网络。莱克特。注释计算。科学。第64期，第213-231页。柏林-海德堡-纽约：施普林格·Zbl 0389.93002号
[12] Grabowski，J.：向量加法系统理论中的线性方法I.EIK 16，207-236（1980）·Zbl 0447.68060号
[13] Hack，M.：Petri网和向量加法系统的决策问题。麻省理工学院，项目。MAC，计算。结构。集团备忘录95-1（1974）
[14] Hack，M.：Petri网语言。麻省理工学院，项目。MAC，组件。结构。集团备忘录124（1975）
[15] Hack，M.：向量加法系统的等式问题是不可判定的。定理。计算。科学。2, 77-95 (1976) ·Zbl 0357.68038号 ·doi:10.1016/0304-3975（76）90008-6
[16] Hauschildt，D.，Valk，R.：银行家式资源分配问题中的安全州。程序。第五。欧洲研讨会申请。Petri网理论，奥胡斯，1984·Zbl 0626.68017号
[17] Jantzen，M.，Valk，R.：位置/转移网的形式属性，In:Net理论与应用。W.Brauer（编辑），第165-212页。莱克特。注释计算。科学。第84号。柏林-海德堡-纽约：施普林格1979
[18] Keller，R.M.：向量替换系统：异步系统建模的形式主义。计算。科学。普林斯顿大学实验室，技术报告117（1972年，1974年修订）
[19] Karp，R.M.，Miller，R.E.：并行程序模式。J.计算。系统。科学。3, 147-195 (1969) ·Zbl 0198.32603号 ·doi:10.1016/S0022-0000（69）80011-5
[20] Landweber，L.H.：决策问题-自动机。数学。系统。理论3，376-384（1969）·兹比尔0182.02402 ·doi:10.1007/BF01691063
[21] Lipton，R.J.：可达性问题需要指数空间。耶鲁大学计算机系。科学。，研究报告#62（1976）
[22] Nivat，M.，Arnold，A.：过程的构成。实验室Informatique Théor。et程序。，巴黎第六和第七大学，巴黎（1982年）·Zbl 0538.68062号
[23] Patil，S.S.，Thiagarajan，P.S.：未出版手稿
[24] Rackoff，C.：向量加法系统的覆盖和有界问题。西奥。计算。科学。6, 223-231 (1978) ·Zbl 0368.68054号 ·doi:10.1016/0304-3975（78）90036-1
[25] Schroff，R.：Bewereten Petrinetzen中的Vermeidung von totalen Verkleimmugen。慕尼黑理工大学博士论文（1974年）·Zbl 0303.68033号
[26] Schroff，R.：《Bewereten Petrinetzen》中的Vermeidung von Verkleimmugen。莱克特。注释计算。科学。第26号，第316-325页，柏林-海德堡-纽约：施普林格，1975年·Zbl 0303.68033号
[27] 瓦尔克（Valk，R.）：巴黎第六大学（1976）
[28] 瓦尔克：Petri网的无限行为。西奥。计算。科学。25, 311-341 (1983) ·Zbl 0559.68057号 ·doi:10.1016/0304-3975（83）90115-9
[29] Valk，R.，Vidal-Naquet，G.：Petri网和正则语言。J.计算。系统。科学。23, 299-325 (1981) ·Zbl 0473.68057号 ·doi:10.1016/0022-0000（81）90067-2
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。