卡洛斯·奥拉特;卡米洛·鲁埃达;弗兰克·巴伦西亚。 并发约束编程的模型和新兴趋势。 (英语) Zbl 1317.90283号 约束条件 18,第4期,535-578(2013).MSC公司:90立方 PDF格式BibTeX公司 XML格式引用 \textit{C.Olarte}等人,《约束18》,第4期,535--578(2013;Zbl 1317.90283) 全文: 内政部 哈尔
保罗·巴尔丹;亚历山德罗·布鲁尼;安德烈亚·科拉迪尼;巴巴拉·科尼格;塞萨尔·罗德里格斯;斯特凡·施温 上下文Petri网的有效展开。 (英语) Zbl 1263.68117号 西奥。计算。科学。 449, 2-22 (2012). 审核人:Jörg Desel(哈根) MSC公司:68问题85 2010年第68季度 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{P.Baldan}等人,Theor。计算。科学。449,2--22(2012;Zbl 1263.68117) 全文: 内政部
鲍尔丹,P。;北布西。;科拉迪尼,A。;G.M.品娜。 具有读弧和抑制弧的Petri网的域和事件结构语义。 (英语) Zbl 1078.68103号 西奥。计算。科学。 323,编号1-3,129-189(2004).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{P.Baldan}等人,Theor。计算。科学。323,编号1--3,129--189(2004;Zbl 1078.68103) 全文: 内政部
保罗·巴尔丹;安德烈亚·科拉迪尼;乌戈·蒙塔纳里 上下文Petri网、非对称事件结构和过程。 (英语) Zbl 1005.68103号 Inf.计算。 171,第1期,1-49页(2001年).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{P.Baldan}等人,《信息计算》。171,第1号,1--49(2001;Zbl 1005.68103) 全文: 内政部