光环，Tuomas;约翰·利利乌斯 时间Petri网的因果语义。 （英语） Zbl 0951.68095号 西奥。计算。科学。 243，编号1-2，409-447（2000）.MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{T.Aura和\textit{J.Lilius，Theor。计算。科学。243，编号1--2，409--447（2000；Zbl 0951.68095） 全文： 内政部
光环，Tuomas;约翰·利利乌斯 时间Petri网的时间过程。 （英语） Zbl 1510.68048号 Azéma，Pierre（编辑）等人，《Petri网的应用和理论》，1997年。第18届国际会议，ICATPN’97。法国图卢兹。1997年6月23日至27日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1248, 136-155 (1997).MSC公司：68问题85 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{T.Aura}和\textit{J.Lilius}，莱克特。注释计算。科学。1248136-155（1997年；Zbl 1510.68048） 全文： 内政部