路德威克·查贾 关于Petri网的分析及其从过程语言合成。 (英语) Zbl 1090.68072号 西奥。通知。申请。 37,第1期,17-38(2003).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \文本{L.Czaja},Theor。通知。申请。37、第1号、第17--38号(2003年;Zbl 1090.68072) 全文: DOI程序 Numdam编号 欧洲DML 链接
Czaja,L。 过程语言和网络。 (英语) Zbl 0944.68093号 西奥。计算。科学。 238,编号1-2161-181(2000).MSC公司:65年第68季度 2010年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{L.Czaja},Theor。计算。科学。238,编号1--2,161-181(2000;Zbl 0944.68093) 全文: DOI程序