阿提姆·阿尔哈佐夫;塞尔吉·伊万诺夫;伊丽莎白·佩尔兹;谢尔盖·韦兰 带有抑制剂弧的小型通用确定性Petri网。 （英语） Zbl 1359.68214号 J.汽车。语言梳。 21号1-2、7-26（2016）. 审核人：Jörg Desel（哈根） MSC公司：68问题85 2005年第68季度 2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Alhazov}等人，J.Autom。语言梳。21，编号1--2，7--26（2016；Zbl 1359.68214） 全文： 内政部
波波瓦·齐格曼（Louchka Popova-Zeugmann）;伊丽莎白·佩尔兹 离散时滞区间Petri网的代数特征。 （英语） Zbl 1278.68221号 芬丹。通知。 120，编号3-4，341-357（2012）. 审核人：Jörg Desel（哈根） MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{L.Popova-Zeugmann}和\textit{E.Pelz}，Fundam。通知。120，编号3--4，341--357（2012；Zbl 1278.68221） 全文： 内政部
汉娜·克劳代尔;马西耶·库特尼;伊丽莎白·佩尔兹;法兰克·波默罗 通过动态过程创建实现系统的有效验证。 （英语） Zbl 1161.68622号 Fitzgerald，John S.（编辑）等人，《计算的理论方面——ICTAC 2008》。第五届国际学术讨论会，土耳其伊斯坦布尔，2008年9月1日至3日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-85761-7/pbk）。计算机科学课堂讲稿5160186-200（2008）。MSC公司：68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Klaudel}等人，Lect。注释计算。科学。5160186-200（2008年；Zbl 1161.68622） 全文： 内政部 哈尔
罗兰·布鲁莱;雷蒙德·魔鬼队;汉娜·克劳代尔;伊丽莎白·佩尔兹;法兰克·波默罗 使用基于角色的规范和Petri网对安全协议进行建模和分析。 （英语） 兹比尔1143.68476 van Hee，Kees M.（编辑）等人，《Petri网的应用和理论》。2008年6月23日至27日，第29届国际会议，PETRI NETS 2008，中国西安。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-68745-0/pbk）。计算机科学课堂讲稿506272-91（2008）。MSC公司：68问题85 60年第68季度 94A62型 PDF格式BibTeX公司 XML格式引用 \textit{R.Bouroulet}等人，Lect。注释计算。科学。5062,72--91（2008年；Zbl 1143.68476） 全文： 内政部 哈尔
雷蒙德·魔鬼队;汉娜·克劳代尔;伊丽莎白·佩尔兹 代数箱演算。 （英语） Zbl 0959.68092号 J.汽车。语言梳。 5，第2期，81-107（2000）.MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{R.Devillers}等人，J.Autom。语言梳。5，第2号，81--107（2000；Zbl 0959.68092）
最好的，艾克;沃伊切赫;理查德·霍普金斯。;汉娜·克劳代尔;伊丽莎白·佩尔兹 M网：高级Petri网代数，应用于并发编程语言的语义。 （英语） Zbl 0917.68160号 Acta信息。 35，第10号，813-857（1998）.MSC公司：68问题85 68问题55 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{E.Best}等人，《信息学报》第35期，第10期，第813--857页（1998年；Zbl 0917.68160） 全文： 内政部
最好的，艾克;雷蒙德·魔鬼队;伊丽莎白·佩尔兹;阿伦德·伦辛克;曼纽尔·席尔瓦;恩里克·特鲁尔 加州-Esprit基础研究工作组60671992年7月24日至1995年7月23日。最终报告摘要。 （英语） Zbl 1026.68571号 牛市。EATCS公司 57, 80-84 (1995).MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{E.Best}等人，公牛。EATCS 57，80--84（1995；Zbl 1026.68571）
E.佩尔兹。 地方/过渡系统的规范化保留了网络行为。 （英语） Zbl 0753.68075号 RAIRO，通知。塞奥尔。申请。 26，第1期，第19-44页（1992年）. 审核人：F.-L.Tiplea（拉什） MSC公司：68问题85 2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.Pelz}，RAIRO，通知。塞奥尔。申请。26，编号1，19-44（1992；Zbl 0753.68075） 全文： 内政部 欧洲DML
伊丽莎白·佩尔兹 逻辑与顺序和并发网络行为。 （英语） Zbl 0721.68020号 J.信息流程。赛博。 26，No.8-9，461-472（1990）.MSC公司：2010年第68季度 65年第68季度 68问题85 03B15号机组 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{E.Pelz}，J.Inf.过程。赛博。26，编号8--9，461--472（1990；Zbl 0721.68020）
伊丽莎白·佩尔兹 确定性Petri网的闭包性质。 （英语） Zbl 0635.68062号 STACS 87，计算机科学的理论方面，Proc。第4年。交响乐团。，帕索/FRG 1987，Lect。注释计算。科学。247, 371-382 (1987).MSC公司：68问题85 PDF格式BibTeX公司 XML格式
伊丽莎白·佩尔兹 Petri网和逻辑句子的无限语言。 （英语） Zbl 0629.68062号 《Petri网进展》，第七届欧洲研讨会，牛津/英国，1986年，Lect。注释计算。科学。266, 224-237 (1987).MSC公司：68问题85 65年第68季度 05年3月 PDF格式BibTeX公司 XML格式
米歇尔·帕里戈特;伊丽莎白·佩尔兹 研究Petri网有限行为的逻辑形式主义。 （英语） Zbl 0613.68028号 Petri网进展，Sel。巴普。第六届欧洲研讨会申请。理论Petri网，Espoo/Finl。1985年，Lect。注释计算。科学。222, 346-361 (1986).MSC公司：68问题85 03B15号机组 05年3月 PDF格式BibTeX公司 XML格式
米歇尔·帕里戈特;伊丽莎白·佩尔兹 Petri网语言的逻辑方法。 （英语） Zbl 0605.68049号 西奥。计算。科学。 39, 155-169 (1985). 审核人：D.克里斯蒂 MSC公司：68问题85 05年3月 65年第68季度 03B15号机组 PDF格式BibTeX公司 XML格式引用 \textit{M.Pariget}和\textit{E.Pelz}，Theor。计算。科学。39155-169（1985年；Zbl 0605.68049） 全文： 内政部