胡格斯,P.W。;克莱恩,H.C.M。;蒂亚加拉扬,P.S。 通用Petri网的事件结构语义。 (英语) Zbl 0872.68126号 西奥。计算。科学。 153,编号1-2,129-170(1996).MSC公司:68问题85 68问题55 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.W.Hoogers}等人,Theor。计算。科学。153,编号1--2,129-170(1996;Zbl 0872.68126) 全文: 内政部
胡格斯,P.W。;克莱恩,H.C.M。;蒂亚加拉扬,P.S。 Petri网的跟踪语义(扩展抽象)。 (英语) Zbl 1427.68199号 Kuich,Werner(编辑),《自动化,语言和编程》。第19届国际学术讨论会,1992年7月13日至17日,奥地利维也纳。诉讼程序。柏林:Springer-Verlag。莱克特。注释计算。科学。623, 595-604 (1992).MSC公司:68问题85 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{P.W.Hoogers}等人,Lect。注释计算。科学。623595--604(1992年;Zbl 1427.68199) 全文: 内政部