约泽夫·温科夫斯基 Petri网过程独立性的代数表征。 （英语） Zbl 1178.68369号 信息处理。莱特。 88，编号1-2，73-81（2003）.MSC公司：68问题85 64岁以下 PDF格式BibTeX公司 XML格式引用 \textit{J.Winkowski}，Inf.过程。莱特。88，编号1--2，73-81（2003；Zbl 1178.68369） 全文： 内政部
路德威克·查贾 关于Petri网的分析及其从过程语言合成。 （英语） 兹比尔1090.68072 西奥。通知。申请。 37，第1期，17-38（2003）.MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \文本{L.Czaja}，Theor。通知。申请。37、第1号、第17--38号（2003年；Zbl 1090.68072） 全文： 内政部 Numdam编号 欧洲DML 链接
佐尔坦·埃西克 公理化有限部分词和无限部分词的包含和子词序。 （英语） Zbl 0997.68069号 西奥。计算。科学。 273，编号1-2，225-248（2002）.MSC公司：65年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{Z.埃西克}，Theor。计算。科学。273，编号1--2，225-248（2002；Zbl 0997.68069） 全文： 内政部
德塞尔，约格;加布里埃尔·胡亚斯;罗伯特·洛伦茨 使用部分代数统一具有限制发生规则的Petri网。 （英语） Zbl 1263.68107号 Ehrig，Hartmut（编辑）等人，UNIGRA 2001。图形化过程规范技术的统一方法（ETAPS 2001卫星活动），意大利热那亚，2001年3月31日至4月1日。诉讼程序。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》44，第4期，163-187（2001）。MSC公司：60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{J.Desel}等人，《电子》。理论注释。计算。科学。44，No.4，163--187（2001；Zbl 1263.68107） 全文： 内政部
J.温科夫斯基。 时间Petri网的过程。 （英语） Zbl 0944.68138号 西奥。计算。科学。 243，编号1-2，1-34（2000）.MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \文本{J.Winkowski}，Theor。计算。科学。243，编号1--2，1--34（2000；Zbl 0944.68138） 全文： 内政部
A.阿诺德。 跟踪和异步自动机概念的扩展。 （英语） Zbl 0765.68153号 RAIRO，通知。塞奥尔。申请。 25，第4期，355-393（1991）.MSC公司：68问题85 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Arnold}，RAIRO，通知。塞奥尔。申请。25，第4号，355--393（1991；Zbl 0765.68153） 全文： 内政部 欧洲DML
P.德加诺。;R·德·尼古拉。;美国蒙塔纳里。 CCS的部分排序语义。 （英语） Zbl 0701.68073号 西奥。计算。科学。 75，第3期，223-262（1990年）.MSC公司：68问题55 06年06月06日 68甲15 2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Degano}等人，Theor。计算。科学。75，第3号，223--262（1990；Zbl 0701.68073） 全文： 内政部
安东尼·马祖基维奇;爱德华·奥赫曼斯基;沃伊切赫·彭泽克 并发系统和必然性。 （英语） 兹比尔0675.68015 西奥。计算。科学。 64，第3期，281-304（1989）. 审核人：A.Maggiolo-Schettini先生 MSC公司：68N25号 2005年第68季度 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{A.Mazurkiewicz}等人，Theor。计算。科学。64，第3号，281--304（1989；Zbl 0675.68015） 全文： 内政部
尤金·史塔克。 并行过渡系统。 （英语） Zbl 0671.68027号 西奥。计算。科学。 64，第3期，221-269（1989）. 审核人：F.-L.提普利亚 MSC公司：68问题85 70年第68季度 18B20型 PDF格式BibTeX公司 XML格式引用 \textit{E.W.Stark}，Theor。计算。科学。64，第3号，221--269（1989；Zbl 0671.68027） 全文： 内政部
G.布多尔。;卡斯特拉尼，I。 并发性和原子性。 （英语） Zbl 0678.68078号 西奥。计算。科学。 59，编号1-2，25-84（1988）. 审核人：J.-J.Ch.梅耶 MSC公司：68问题55 68N25号 PDF格式BibTeX公司 XML格式引用 \textit{G.Boudol}和\textit{I.Castellani}，Theor。计算。科学。59，编号1--2，25-84（1988；Zbl 0678.68078） 全文： 内政部 链接
皮耶保罗·德加诺;塞尔吉奥·马切蒂 并发的部分排序模型可以在操作上定义。 （英语） Zbl 0657.68029号 国际J并行程序。 16，第6期，451-478（1987）.MSC公司：68问题65 第68页第25页 PDF格式BibTeX公司 XML格式引用 \textit{P.Degano}和\textit{S.Marchetti}，国际J.并行程序。16，第6号，451--478（1987；Zbl 0657.68029） 全文： 内政部
约泽夫·温科夫斯基;安德烈亚·马吉奥洛·谢蒂尼 过程代数。 （英语） Zbl 0633.68010号 J.计算。系统。科学。 35, 206-228 (1987). 审核人：A.Maggiolo-Schettini先生 MSC公司：68N25号 2005年第68季度 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{J.Winkowski}和\textit{A.Maggiolo-Schettini}，J.Comput。系统。科学。35206-228（1987年；Zbl 0633.68010） 全文： 内政部
皮耶保罗·德加诺;乌戈·蒙塔纳里 并发历史：观察分布式系统的基础。 （英语） Zbl 0619.68017号 J.计算。系统。科学。 34, 422-461 (1987).MSC公司：68N25号 PDF格式BibTeX公司 XML格式引用 \textit{P.Degano}和\textit{U.Montanari}，J.Comput。系统。科学。34422--461（1987年；Zbl 0619.68017） 全文： 内政部
费尔南德斯，C。;蒂亚加拉扬，P.S。 D-连续因果网络：一个非序列过程的模型。 （英语） 兹伯利0531.68016 西奥。计算。科学。 28, 171-196 (1984). 审核人：R.Janicki公司 MSC公司：68问题85 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{C.Fernández}和\textit{P.S.Thiagarajan}，Theor。计算。科学。28171--196（1984年；Zbl 0531.68016） 全文： 内政部
乔泽夫·温科夫斯基 系统行为的代数描述。 （英语） Zbl 0493.68049号 西奥。计算。科学。 21, 315-340 (1982).MSC公司：99年第68季度 68N25号 68问题85 PDF格式BibTeX公司 XML格式引用 \文本{J.Winkowski}，Theor。计算。科学。21315--340（1982；Zbl 0493.68049） 全文： 内政部
安德烈亚·马吉奥洛·谢蒂尼;乔泽夫·温科夫斯基 结构转换过程。 （英语） Zbl 0488.68040号 J.计算。系统。科学。 24, 245-282 (1982).MSC公司：99年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Maggiolo-Schettini}和\textit{J.Winkowski}，J.Comput。系统。科学。24、245--282（1982；Zbl 0488.68040） 全文： 内政部