瑞安·卡瓦纳 会话类型语言的公平性和基于通信的语义。 （英语） Zbl 1504.68030号 Inf.计算。 285，B部分，文章ID 104892，77 p.（2022）.MSC公司：68甲15 68甲18 68甲19 68号30 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Kavanagh}，信息计算。285，B部分，文章ID 104892，77页（2022；Zbl 1504.68030） 全文： 内政部 arXiv公司 OA许可证
曼努埃尔·纳瓦罗·古铁雷斯;安东尼奥·拉米雷斯·特雷维尼奥;曼纽尔·席尔瓦 无限服务器语义下时间连续Petri网的同调性、分叉性、连续性和单调性。 （英语） Zbl 1422.68172号 非线性分析。，混合系统。 第26页，第48-67页（2017年）.MSC公司：68问题85 34C23型 PDF格式BibTeX公司 XML格式引用 \textit{M.Navarro-Gutiérrez}等人，《非线性分析》。，混合系统。26、48-67（2017；Zbl 1422.68172） 全文： 内政部
奥拉夫·库默;马克·奥利弗·斯特尔 Petri的并发公理。近期结果精选。 （英语） Zbl 1510.68064号 Azéma，Pierre（编辑）等人，《Petri网的应用和理论》，1997年。第18届国际会议，1997年ICATPN。法国图卢兹。1997年6月23日至27日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1248, 195-214 (1997).MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{O.Kummer}和\textit{M.-O.Stehr}，莱克特。注释计算。科学。1248195-214（1997；Zbl 1510.68064） 全文： 内政部
恩里克·特鲁尔;曼纽尔·席尔瓦 平等冲突系统的结构理论。 （英语） Zbl 0872.68132号 西奥。计算。科学。 153，编号1-2，271-300（1996）.MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit｛E.Teruel｝和\textit｛M.Silva｝，Theor。计算。科学。153，编号1--2，271--300（1996；Zbl 0872.68132） 全文： 内政部
当文雄（Dang Van Hung）;科努特（Elöd Knuth） 半交换和Petri网。 （英语） Zbl 0679.68049号 西奥。计算。科学。 64，第1号，67-81（1989）.MSC公司：68问题65 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{Dang Van Hung}和\textit{E.Knuth}，Theor。计算。科学。64，第1号，67-81（1989年；兹bl 0679.68049） 全文： 内政部
杰伊·基舍尔（Jay L.Gischer）。 pomsets的等式理论。 （英语） Zbl 0669.68015号 西奥。计算。科学。 61，第2-3号，199-224（1988）. 审核人：G.斯卢塔基 MSC公司：第68季度第60季度 06年06月06日 PDF格式BibTeX公司 XML格式引用 \文本{J.L.Gischer}，Theor。计算。科学。61，编号2--3，199-224（1988；Zbl 0669.68015） 全文： 内政部
路德威克·查贾 因果结构。 （英语） Zbl 0642.68108号 信息处理。莱特。 26, 313-319 (1988). 审核人：R.Janicki公司 MSC公司：68问题85 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{L.Czaja}，Inf.过程。莱特。26313--319（1988；Zbl 0642.68108） 全文： 内政部
最好的，艾克;雷蒙德·魔鬼队 Petri网理论中的顺序和并发行为。 （英语） Zbl 0669.68043号 西奥。计算。科学。 55, 87-136 (1987). 审核人：H.保险丝 MSC公司：68问题85 68问题65 06年06月06日 93A10号 第94页第15页 PDF格式BibTeX公司 XML格式引用 \textit{E.Best}和\textit{R.Devillers}，Theor。计算。科学。55、87--136（1987年；Zbl 0669.68043） 全文： 内政部
格林·温斯克尔 Petri网、代数、形态和合成。 （英语） Zbl 0622.68052号 Inf.计算。 72, 197-238 (1987).MSC公司：68问题85 18B99型 第68页第25页 PDF格式BibTeX公司 XML格式引用 \textit{G.Winskel}，信息计算。72、197--238（1987年；Zbl 0622.68052） 全文： 内政部
艾斯布兰德·简·奥尔伯斯堡;G.罗森伯格。 CTS系统和Petri网。 （英语） Zbl 0608.68053号 西奥。计算。科学。 40, 149-162 (1985).MSC公司：68问题85 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{I.J.Aalbersberg}和\textit{G.Rozenberg}，Theor。计算。科学。40、149——162（1985年；Zbl 0608.68053） 全文： 内政部
G.罗森伯格。 论协同选择替换：走向语法和机器的统一理论。 （英语） 兹比尔0601.68054 西奥。计算。科学。 37, 31-50 (1985).MSC公司：65年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{G.Rozenberg}，Theor。计算。科学。37，31-50（1985年；兹bl 0601.68054） 全文： 内政部
最好的，艾克 公平与阴谋。 （英语） Zbl 0558.68052号 信息处理。莱特。 18, 215-220 (1984). 审核人：V.卡尔马图亚努 MSC公司：68问题85 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{E.Best}，Inf.过程。莱特。18、215--220（1984年；Zbl 0558.68052） 全文： 内政部
里扎德·贾尼基 网络、顺序组件和并发关系。 （英语） Zbl 0546.68039号 西奥。计算。科学。 30, 87-121 (1984). 审核人：H.Fuss和E.Smith MSC公司：68问题85 93B17号机组 93B30型 2005年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{R.Janicki}，Theor。计算。科学。30、87-121（1984年；Zbl 0546.68039） 全文： 内政部
G.罗森伯格。;R·弗拉埃特。 Petri网的子集语言。一： 与字符串语言和正常形式的关系。 （英语） Zbl 0531.68029号 西奥。计算。科学。 26301-326（1983年）.MSC公司：65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{G.Rozenberg}和\textit{R.Verraedt}，Theor。计算。科学。26301-326（1983年；Zbl 0531.68029） 全文： 内政部
铃木，一郎;大岛村田 一种逐步细化和抽象Petri网的方法。 （英语） Zbl 0515.68051号 J.计算。系统。科学。 27, 51-76 (1983).MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{I.铃木}和\textit{T.村田}，J.计算机。系统。科学。27、51--76（1983年；Zbl 0515.68051） 全文： 内政部
图维·埃齐翁;迈克尔·尤利 超网及其层次结构。 （英语） Zbl 0512.68038号 西奥。计算。科学。 23, 243-272 (1983).MSC公司：68问题85 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Etzion}和\textit{M.Yoeli}，Theor。计算。科学。23、243--272（1983年；Zbl 0512.68038） 全文： 内政部