彼得·巴赫霍尔茨；彼得·坎佩尔 Petri网的层次可达图生成。 （英语） Zbl 1020.68058号 形式方法系统。设计。 21，第3期，281-315（2002）.MSC公司：68问题85 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{P.Buchholz}和\textit{P.Kemper}，《形式方法系统》。设计。21，第3号，281--315（2002；Zbl 1020.68058） 全文： 内政部
彼得·巴赫霍尔茨；彼得·坎佩尔 组合自动机大可达集的高效计算和表示。 （英语） Zbl 1048.93065号 离散事件动态。系统。 12，第3期，265-286（2002）.MSC公司：93元65角 93个B03 93甲15 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Buchholz}和\textit{P.Kemper}，离散事件动态。系统。12，第3号，265-286（2002年；兹bl 1048.93065） 全文： 内政部
彼得·巴赫霍尔茨；彼得·坎佩尔 组合自动机大可达集的高效计算和表示。 （英语） Zbl 1036.93044号 Boel，R.（编辑）等人，《离散事件系统》。分析和控制。第五次研讨会论文，WODES 2000，比利时根特，2000年8月21日至23日。波士顿：Kluwer学术出版社（ISBN 0-7923-7897-0）。Kluwer国际服务。工程计算。科学。569, 49-56 (2000). 审核人：Alex V.Kolnogorov（诺夫哥罗德） MSC公司：93元65角 93B40码 93个B03 93B11号机组 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit｛P.Buchholz｝和\textit｛P.Kemper｝，Kluwer国际服务公司。工程计算。科学。569、49-56（2000年；Zbl 1036.93044）