杰拉德·贝特洛 Petri分析过程parélles par transformation de réseaux de Petri:协议的应用。(通过Petri网转换对并行过程进行分析。在网络协议中的应用)。 (法语) Zbl 0576.68046号 RAIRO,科技。信息。 4, 73-82 (1985). 审核人:D.克里斯蒂 MSC公司:68问题85 68N25号 PDF格式BibTeX公司 XML格式引用 \textit{G.Berthelot},RAIRO,科技。第4版,73-82页(1985年;兹bl 0576.68046)
杰拉德·贝瑟洛特 Petri网变换。 (法语) Zbl 0567.68032号 RAIRO,科技。信息。 4, 91-101 (1985). 审核人:D.克里斯蒂 MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{G.Berthelot},RAIRO,科技。Inf.4,91-101(1985;Zbl 0567.68032)
雅克·朱利安德 通信中心进程规范。 (法语) 兹伯利0517.68047 RAIRO,科技。信息。 2, 257-269 (1983).MSC公司:68N25号 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{J.Julliand},RAIRO,科技。Inf.2,257--269(1983;Zbl 0517.68047)
米歇尔·雷纳尔 未分析合作中心处理部分变量的规范。 (法语) 兹伯利0488.68028 RAIRO,科技。信息。 1, 201-210 (1982).MSC公司:68N25号 PDF格式BibTeX公司 XML格式引用 \textit{M.Raynal},RAIRO,科技。Inf.1,201--210(1982;Zbl 0488.68028)