里诺·内辛(Rino Nesin)、加布里埃拉·阿斯(Gabriela Asl);理查德·托马斯(Richard M.Thomas)。 单词问题是Petri网语言的组。 (英语) Zbl 1432.20023号 Shallit,Jeffrey(编辑)等人,《形式系统的描述复杂性》。2015年6月25日至27日,加拿大安大略省滑铁卢,第17届DCFS国际研讨会。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。9118, 243-255 (2015).MSC公司:2010年1月20日 20F05型 65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{G.A.Rino Nesin}和\textit{R.M.Thomas},莱克特。注释计算。科学。9118,243-255(2015;Zbl 1432.20023) 全文: 内政部 链接
博齐安,Z。;芬克尔,A。 交换半群和可逆Petri网的等价问题在对数线性可约的指数空间中是完全的。 (英语) Zbl 0964.03040号 Shum,Kar Ping(编辑)等人,《半群》。半群及其相关主题国际会议论文,中国昆明,1995年8月18日至23日。新加坡:斯普林格。63-76(1998年)。MSC公司:2015年3月1日 03D40号 2014年11月20日 2005年5月20日 65年第68季度 2017年第68季度 68问题85 03年3月 PDF格式BibTeX公司 XML格式引用 \textit{Z.Bouziane}和\textit{A.Finkel},in:半群。半群及其相关主题国际会议论文,中国昆明,1995年8月18-23日。新加坡:斯普林格。63-76(1998年;兹bl 0964.03040)
安东尼·马祖基维奇 轨迹、历史、图:过程幺半群的实例。 (英语) Zbl 0577.68061号 计算机科学数学基础。第十一交响曲。,普拉哈/捷克。1984年,Lect。注释计算。科学。176115-133(1984)中描述。MSC公司:99年第68季度 68问题85 20立方米 65年第68季度 68N25号 60年第68季度 PDF格式BibTeX公司 XML格式
马蒂·彭顿 向量加法系统的可达性及其等价问题。 (英语) Zbl 0551.68048号 图尔库安大学。,序列号。一个I 186, 80-86 (1984). 审核人:J.伯甘迪 MSC公司:03D60年 03D40号 68问题85 65年第68季度 2005年5月20日 PDF格式BibTeX公司 XML格式引用 \textit{M.Penttonen},Ann.Turku大学,Ser。A I 186,80--86(1984;Zbl 0551.68048)