主人,杰德 基于Lawvere理论的Petri网。 (英语) Zbl 1492.68097号 数学。结构。计算。科学。 30,第7期,833-864(2020).MSC公司:68问题85 18A22型 18A40型 18立方厘米 2005年5月18日 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{J.Master},数学。结构。计算。科学。30,第7号,833--864(2020;Zbl 1492.68097) 全文: 内政部 arXiv公司
约翰·C·贝兹。;主人,杰德 打开Petri网。 (英语) Zbl 1457.68177号 数学。结构。计算。科学。 30,第3期,314-341(2020). 审核人:Hirokazu Nishimura(筑波) MSC公司:68问题85 18 C50 2005年5月18日 18N10型 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{J.C.Baez}和\textit{J.Master},数学。结构。计算。科学。30,第3号,314--341(2020;Zbl 1457.68177) 全文: 内政部 arXiv公司
文森特·达诺斯;尼古拉斯·欧里 平衡和终止。二: Petri网的例子。 (英语) Zbl 1271.68178号 数学。结构。计算。科学。 23,第2期,290-307(2013).MSC公司:68问题85 60J27型 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{V.Danos}和\textit{N.Oury},数学。结构。计算。科学。23,第2号,290--307(2013;Zbl 1271.68178) 全文: 内政部
A.阿斯佩蒂。;北布西。 移动Petri网。 (英语) Zbl 1191.68427号 数学。结构。计算。科学。 19,第6期,1265-1278(2009).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{A.Asperti}和\textit{N.Busi},数学。结构。计算。科学。19,第6号,1265--1278(2009;Zbl 1191.68427) 全文: 内政部
米尔纳,罗宾 二图形结构的公理。 (英语) Zbl 1083.68082号 数学。结构。计算。科学。 15,第6号,1005-1032(2005).MSC公司:68问题85 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{R.Milner},数学。结构。计算。科学。15,第6号,1005--1032(2005;Zbl 1083.68082) 全文: 内政部
芭芭拉·柯尼格 超图构造及其在并发系统静态分析中的应用。 (英语) Zbl 1007.68136号 数学。结构。计算。科学。 12,第2期,149-175(2002).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{B.König},数学。结构。计算。科学。12,第2号,149--175(2002;Zbl 1007.68136) 全文: 内政部
弗拉迪米罗·萨松 Petri网计算范畴的公理化。 (英语) Zbl 0916.68105号 数学。结构。计算。科学。 8,第2期,117-151(1998).MSC公司:68问题85 18日第10天 PDF格式BibTeX公司 XML格式引用 \textit{V.Sassone},数学。结构。计算。科学。8,第2号,117--151(1998;Zbl 0916.68105) 全文: 内政部
何塞·梅塞盖尔;乌戈·蒙塔纳里;弗拉迪米罗·萨松 关于位置/转换Petri网的语义。 (英语) Zbl 0876.68072号 数学。结构。计算。科学。 7,第4号,359-397(1997).MSC公司:68问题55 PDF格式BibTeX公司 XML格式引用 \textit{J.Meseguer}等人,《数学》。结构。计算。科学。7,第4号,359--397(1997;Zbl 0876.68072) 全文: 内政部
朱莉娅·帕德伯格;哈特穆特·埃里格;莱拉·里贝罗 代数高级网变换系统。 (英语) Zbl 0839.68068号 数学。结构。计算。科学。 5,第2期,217-256(1995).MSC公司:68问题85 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{J.Padberg}等人,数学。结构。计算。科学。5,第2号,217--256(1995;Zbl 0839.68068) 全文: 内政部
马丁·奥列特,纳西索;何塞·梅塞盖尔 从Petri网到线性逻辑。 (英语) Zbl 0746.03057号 数学。结构。计算。科学。 第1期,第69-101页(1991年). 审核人:C.Masalagiu(伊阿什) MSC公司:03G30型 03B70号 68问题85 18日第15天 PDF格式BibTeX公司 XML格式引用 \textit{N.Martí-Oliet}和\textit{J.Meseguer},数学。结构。计算。科学。1,编号1,69--101(1991;Zbl 0746.03057) 全文: 内政部