雷卡德，劳拉；谢尔盖·哈达德；曼纽尔·席尔瓦 连续Petri网：表达能力和可判定性问题。 （英语） Zbl 1200.68164号 发现的国际期刊。计算。科学。 21，第2期，235-256（2010）.MSC公司：68问题85 2005年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Recalde}等人，国际期刊发现。计算。科学。21，第2号，235--256（2010；Zbl 1200.68164） 全文： 内政部
弗朗西斯科·巴西利；回忆，劳拉；帕斯夸尔·恰奇奥；曼纽尔·席尔瓦 广义互斥约束下的闭环活标记图。 （英语） Zbl 1169.93300号 离散事件动态。系统。 19，第1期，1-30页（2009年）.MSC公司：93甲13 93元65角 94C15号机组 PDF格式BibTeX公司 XML格式引用 \textit{F.Basile}等人，离散事件动态。系统。19，第1号，1--30（2009；Zbl 1169.93300） 全文： 内政部
雷卡德，劳拉；恩里克·特鲁尔；曼纽尔·席尔瓦 自动连续P/T系统。 （英语） 兹比尔0934.93037 Donatelli，Susanna（编辑）等人，《Petri网的应用和理论》，1999年。第20届国际会议，ICATPN'99。1999年6月21日至25日，美国弗吉尼亚州威廉斯堡。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1639, 107-126 (1999). 审核人：O.Pastravanu（伊阿什） MSC公司：93立方 93个B03 68问题85 PDF格式BibTeX公司 XML格式引用 \textit｛L.Recade｝等人，Lect。注释计算。科学。1639，107-126（1999；Zbl 0934.93037）