铃木，一郎；大岛村田 一种逐步细化和抽象Petri网的方法。 （英文） Zbl 0515.68051号 J.计算。系统。科学。 27, 51-76 (1983). 页码：24/35−5 −4 −3 −2 −1 ±0 +1个 +2 +3 +4 +5 显示扫描页面 引用于20文件 MSC公司： 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） 关键词：Petri网；逐步细化；抽象；Petri网的综合；Petri网分析 PDF格式BibTeX公司 XML格式引用 \textit｛I.Suzuki｝和\textit｛T.Murata｝，J.Comput。系统。科学。27、51--76（1983年；Zbl 0515.68051） 全文： 内政部 参考文献： [1] Agerwala，T.，《使用Petri网》，《计算机》，第12卷，第12期，第85-94页（1979年） [2] 阿格瓦拉，T。；Choed-Amphai，Y.，并发系统的综合规则。，（第十五届设计自动化大会议事录第十五届自动设计大会议事录，拉斯维加斯（1978年6月）），305-311 [3] （Brauer，W.；Randell，B.；Petri，C.A.，《网络理论与应用》，《计算机科学讲义第84号》（1980），Springer-Verlag:Springer-Verlag Berlin/Heidelberg/纽约）·Zbl 0434.68040号 [4] Hack，M.，《Petri网的可判定性问题》（1976年6月），麻省理工学院计算机科学实验室，TR-161 [5] Johnsonbaugh，R。；高，M.C。；Murata，T.，《活标记图和安全标记图的附加变换》，（第17届Allerton通信、控制和计算大会（1979年10月），387-396 [6] Johnsonbaugh，R。；Murata，T.，标记图计算模型中的资源需求分析，（1980年IEEE电路与系统国际研讨会论文集（1980年4月），342-345 [7] Kosaraju，S.R.，向量加法系统可达性的判定，（第14届ACM计算机理论年会（1982年5月）会议记录），267-281 [8] Mayr，E.W.，《一般Petri网可达性问题的算法》，（第13届ACM计算机理论年会（1981年5月），238-246 [9] Murata，T.，《网络理论与分布式/并行处理模型的相关性》，J.Franklin Inst.，310，No.1，41-50（1980：）·Zbl 0432.68017号 [10] Murata，T.，针对指定资源和性能的无决策并发系统的合成，IEEE Trans。软件工程，SE-6，No.6，525-530（1980）·Zbl 0447.68063号 [11] Murata，T。；Koh，J.Y.，带电和安全标记图的缩减和扩展，IEEE Trans。电路与系统，CAS-27，No.1，68-70（1980）·Zbl 0422.94068号 [12] Peterson，J.L.，Petri网，计算。调查，第9期，第3期，223-252（1977年）·Zbl 0357.68067号 [13] 铃木，I。；Murata，T.，《通过逐步转换细化进行标记图变换》（第18届Allerton通信、控制和计算会议（1980年10月），497-506 [14] Valette，R.，《用逐步细化法分析Petri网》，J.Compute。系统科学。，18, 35-46 (1979) ·Zbl 0401.68038号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。