码头Kleijn;马西耶·库特尼 具有动态结构的膜系统的Petri网模型。 (英语) Zbl 1185.68446号 自然计算。 8,第4期,781-796(2009).MSC公司:68问题85 2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Kleijn}和\textit{M.Koutny},自然计算。8,第4号,781--796(2009;Zbl 1185.68446) 全文: 内政部
码头Kleijn;马西耶·库特尼 带有促进剂和抑制剂的膜系统的过程。 (英语) Zbl 1151.68019号 西奥。计算。科学。 404,编号1-2,112-126(2008).MSC公司:2010年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{J.Kleijn}和\textit{M.Koutny},Theor。计算。科学。404,编号1--2,112-126(2008;Zbl 1151.68019) 全文: 内政部
H.C.M.克莱因。;M.库特尼。 一般约束网络的过程语义。 (英语) Zbl 1101.68699号 Inf.计算。 190,第1期,18-69页(2004年).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{H.C.M.Kleijn}和\textit{M.Koutny},信息计算。190,编号1,18-69(2004年;兹bl 1101.68699) 全文: 内政部
胡格斯,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) 全文: 内政部