乔泽夫·温科夫斯基 并发系统的行为。 （英语） Zbl 0445.68044号 西奥。计算。科学。 12, 39-60 (1980). 页码：24/35−5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 显示扫描页面 引用于1审查引用于16文件 MSC公司： 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） 93A10号 通用系统 关键词：行为;并发系统;Petri网;过程 PDF格式BibTeX公司 XML格式引用 \文本{J.Winkowski}，Theor。计算。科学。12、39——60（1980年；Zbl 0445.68044） 全文： 内政部 参考文献： [1] Hack，M.，Petri网语言，（计算结构小组备忘录124（1975），麻省理工学院MAC项目：MAC项目，麻省剑桥大学，马萨诸塞州） [2] 霍尔特，A。；Commoner，F.，《事件与条件》（1970），《应用数据研究：纽约应用数据研究》 [3] Mazurkiewicz，A.，《并发程序的不变量》（Gilchrist，B.，《信息处理》，77（1977），北荷兰：北荷兰阿姆斯特丹），353-372 [4] Mazurkiewicz，A.，并发程序方案及其解释，（DAIMI PB-78（1977），奥胡斯大学：丹麦奥胡斯学院） [5] Peterson，J.L.，Petri网，计算。调查，9，3（1977年）·Zbl 0357.68067号 [6] Petri，C.A.，《网络理论的解释》（1975），ISF GMD：ISF GMD-波恩 [7] Petri，C.A.，《非连续过程》（1976），ISF GMD:ISF GMD波恩 [8] Winkowski，J.，《非序列系统行为的代数表征》，《信息处理快报》。，105-109年6月4日（1977年）·Zbl 0374.94038号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。