Ölveczky、Peter Csaba;何塞·梅塞格尔 重写逻辑中实时和混合系统的规范。 （英语） 兹比尔1001.68061 西奥。计算。科学。 285，第2期，359-405（2002）.MSC公司：2012年第68季度 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{P.C.Ølveczky}和\textit{J.Meseguer}，Theor。计算。科学。285，第2号，359--405（2002；Zbl 1001.68061） 全文： 内政部
布鲁尼，R。;梅塞盖尔，J。;美国蒙塔纳里。;萨索内，V。 个体标记哲学下Petri网的函数语义。 （英语） Zbl 0966.68108号 Hofmann，Martin（编辑）等人，CTCS’99。类别理论和计算机科学会议，爱丁堡，英国，1999年9月10日至12日。阿姆斯特丹：爱思唯尔，《理论计算机科学电子笔记》。29，18 p.，仅电子版（1999年）。MSC公司：68问题55 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{R.Bruni}等人，收录于：CTCS’99。类别理论与计算机科学会议，爱丁堡，英国，1999年9月10日至12日。阿姆斯特丹：爱思唯尔。18页（1999年；Zbl 0966.68108）
罗伯托·布鲁尼;何塞·梅塞格尔;乌戈·蒙塔纳里;弗拉迪米罗·萨松 集体标记哲学下Petri网语义的比较。 （英语） Zbl 0932.68062号 Xiang，Jieh（编辑）等，《计算科学进展——1998年亚洲》。第四届亚洲计算科学会议，菲律宾马尼拉，1998年12月8日至10日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1538225-244页（1998年）。MSC公司：68问题55 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{R.Bruni}等人，Lect。注释计算。科学。1538225-244（1998年；Zbl 0932.68062）
何塞·梅塞格尔;乌戈·蒙塔纳里;弗拉迪米罗·萨松 Petri网的表示定理。 （英语） Zbl 0885.68115号 Freksa，Christian（编辑）等人，《计算机科学基础》。潜力、理论、认知。柏林：斯普林格。莱克特。注释计算。科学。1337, 239-249 (1997).MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{J.Meseguer}等人，Lect。注释计算。科学。1337，239--249（1997；Zbl 0885.68115）
何塞·梅塞格尔;乌戈·蒙塔纳里;弗拉迪米罗·萨松 关于位置/转换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 0849.68087号 学报信息。 33，第7期，641-667（1996）.MSC公司：68问题85 18日第10天 PDF格式BibTeX公司 XML格式 全文： 内政部
马丁·奥列特，纳西索;何塞·梅塞格尔 从Petri网到通过类别的线性逻辑：一项调查。 （英语） Zbl 0766.68100号 发现的国际期刊。计算。科学。 2，第4期，297-399（1991）. 审核人：D.Gruska（布拉迪斯拉发） MSC公司：68问题85 03B20型 03G30型 PDF格式BibTeX公司 XML格式引用 \textit{N.Martí-Oliet}和\textit{J.Meseguer}，Int.J.Found。计算。科学。2，第4号，297--399（1991；Zbl 0766.68100） 全文： 内政部
马丁·奥列特，纳西索;何塞·梅塞格尔 从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） 全文： 内政部
何塞·梅塞格尔;乌戈·蒙塔纳里 Petri网是幺半群。 （英语） Zbl 0711.68077号 Inf.计算。 88，No.2，105-155（1990）. 审核人：R.Janicki公司 MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{J.Meseguer}和\textit{U.Montanari}，Inf.Compute。88，No.2，105--155（1990；Zbl 0711.68077） 全文： 内政部
迪加诺，皮尔保罗;何塞·梅塞格尔;乌戈·蒙塔纳里 公理化网络计算和过程。 （英语） Zbl 0722.68085号 计算机科学中的逻辑，Proc。第四届年度交响乐团。，Pacific Grove/CA（美国）1989，175-185（1989）。 审核人：K.Atanassov（索非亚） MSC公司：68问题85 2010年第68季度 PDF格式BibTeX公司 XML格式