×
里扎德·贾尼基

网络、顺序组件和并发关系。 （英语） 兹伯利0546.68039

西奥。计算。科学。 30, 87-121 (1984).
讨论了在系统级上实现并发概念的两种方法。首先，将网络分解为序列组件。在另一种情况下，并发关系是从给定的标记类定义的。研究表明，在较小的附加条件下，关于每个全局系统状态和每个序列分量的公共元素的假设意味着网络可以分解为有限状态机。
审核人：H.Fuss和E.Smith

引用于4文件

MSC公司：

68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等）
93年11月17日 转型
93立方厘米30 系统标识
2005年第68季度 计算模型（图灵机等）（MSC2010）

关键词：

Petri网;密度;并发;分解，分解;顺序元件;标记等级;有限状态机
PDF格式BibTeX公司 XML格式引用
\文本{R.Janicki}，Theor。计算。科学。30、87-121（1984年；Zbl 0546.68039）
全文： 内政部

参考文献：

[1] Best，E.，《（K）密度的相对强度》，（Brauer，W.，《网络理论与应用》，《网络的理论与应用，计算科学讲义》，84（1980），Springer:Springer-Berlin），261-278
[2] Hansen，P.Brinch，《操作系统原理》（1973），新泽西州普伦蒂斯·霍尔：普伦蒂斯霍尔恩格尔伍德克利夫斯·Zbl 0308.68007号
[3] （Brauer，W.，《网络理论与应用》，《网络原理与应用》（Net Theory and Applications），计算机科学讲义，84（1980），施普林格出版社：施普林格-柏林）·Zbl 0434.68040号
[4] 坎贝尔，R.H。；Habermann，A.H.，《路径表达式对过程同步的规范》，（计算机科学讲义，第16期（1974年），施普林格出版社：施普林格柏林出版社），89-102·Zbl 0295.68028号
[5] De Cindio，F。；De Michelis，G。；Pomello，L。；Simone，C.，《叠加，自动机网》（Girault，C.；Reisig，W.，《Petri网的应用和理论》，Petri网应用和理论，Informatik-Fachberichte，52（1982），Springer:Springer-Blin），269-279·兹伯利0521.68059
[6] Dijkstra，E.W.，《合作顺序过程》（Genuys，F.，《编程语言》（1968），学术出版社：纽约学术出版社）
[7] （Girault，C.；Reisig，W.，《Petri网的应用和理论》，Petri网应用和理论，Informatik-Fachberichte，52（1982），Springer:Springer-Berlin）·Zbl 0474.68075号
[8] Hack，M.T.，《用Petri网分析生产模式》（TR-94（1972），计算实验室。科学。，麻省理工学院：计算机实验室。科学。，麻省理工学院剑桥分校）
[9] Hoare，C.A.R.，《通信顺序过程》（McKeag，R.M.；MacNaghton，A.M.，《程序构建》（1980），剑桥大学出版社：剑桥大学出版社伦敦），229-254·Zbl 0841.68042号
[10] Janicki，R.，《并发方案的综合》，（计算机科学讲义，64（1978），施普林格：施普林格柏林），298-307·Zbl 0382.68023号
[11] Janicki，R.，《类并行关系的特征》，（《计算科学》讲义，70（1979），施普林格：施普林格柏林），109-122·Zbl 0402.68020号
[12] Janicki，R.，《Petri网的代数结构》，（计算科学讲义，83（1980），施普林格：施普林格-柏林），177-192·Zbl 0438.68021号
[13] Janicki，R.，《原子网络和并发关系》，（计算机科学讲义，88（1980），施普林格：施普林格柏林），320-333·Zbl 0449.68021号
[14] Janicki，R.，《关于并发系统的设计》（Proc.2nd Conf.On Distributed Computing systems，1981），IEEE Compute。Soc.出版社：IEEE计算。Soc.Press纽约），455-466
[15] Janicki，R.，通过并发关系分析并发系统，Proc。AFCET交响乐团。。程序。AFCET交响乐团。，计算机科学数学（1982），巴黎·Zbl 0513.68053号
[16] 劳尔，体育。；护罩，M.W。；Contronis，J.Y.，《没有全局性假设的并发系统的形式行为规范》，（计算科学讲义，107（1981），Springer:Springer Berlin），115-151·Zbl 0481.68012号
[17] Mazurkiewicz，A.，《并行程序方案及其解释》（DAIMI PB-78（1977），奥胡斯大学出版社）
[18] Milner，R.，《通信系统的微积分》（计算机科学讲义，92（1980），施普林格：施普林格-柏林）·Zbl 0609.68021号
[19] C.A.Petri，非顺序过程，ISF代表。波恩GMD 77-01。；C.A.Petri，非连续过程，ISF报告。波恩GMD 77-01。
[20] Petri，C.A.，Concurrency，（Brauer，W.，《网络理论与应用》，《计算科学讲义》，84（1980），Springer:Springer Berlin），251-260·Zbl 0434.68041号
[21] Petri，C.A.，一般网络理论导论，（Brauer，W.，网络理论与应用。网络理论与应用，计算机科学讲义，84（1980），施普林格：施普林格柏林）·Zbl 1027.68642号
[22] Prószyñski，P.，《Petri网和类并发关系》，（计算科学讲义，107（1981），施普林格：施普林格柏林），471-478·Zbl 0473.68055号
[23] 沃尔夫，B.L。；卡罗尔，J.B.，《语言、思想和现实》（1962年），剑桥大学出版社：剑桥大学出版社MA，论文选集
[24] 沃尔夫，B.L.，印度宇宙模型，国际。J.Amer。语言学，16，67-72（1950）
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。