亚历山大·比尔格拉姆;彼得·詹森（Peter G.Jensen）。;托马斯·佩德森;吉·斯尔巴;Peter H.Taankvist。 有色Petri网的有效展开方法。 （英语） Zbl 07770062号 芬丹。通知。 189，编号3-4，297-320（2022）.MSC公司：68倍 PDF格式BibTeX公司 XML格式引用 \textit{A.Bilgram}等人，Fundam。通知。189，编号3--4，297--320（2022；Zbl 07770062） 全文： 内政部
彼得·格约尔·詹森;吉·斯尔巴;尼古拉·延森·乌尔里克;Simon Mejlby，Virenfeldt 自动驱动的部分订单缩减和LTL模型检查的引导搜索。 （英语） Zbl 1498.68160号 Finkbeiner，Bernd（编辑）等人，《验证、模型检查和抽象解释》。第23届国际会议，VMCAI 2022，费城，宾夕法尼亚州，美国，2022年1月16日至18日。诉讼程序。查姆：斯普林格。勒克特。注释计算。科学。13182, 151-173 (2022).MSC公司：60年第68季度 03B44号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.G.Jensen}等人，Lect。注释计算。科学。13182151-173（2022年；兹bl 1498.68160） 全文： 内政部
亚历山大·比尔格拉姆;彼得·詹森（Peter G.Jensen）。;托马斯·佩德森;吉·斯尔巴;Peter H.Taankvist。 有色Petri网展开的改进。 （英语） Zbl 07670973号 Bell，Paul C.（编辑）等人，《可达性问题》。第15届国际会议，RP 2021，英国利物浦，2021年10月25-27日。诉讼程序。查姆：斯普林格。勒克特。注释计算。科学。13035, 69-84 (2021).MSC公司：68季度xx PDF格式BibTeX公司 XML格式引用 \textit{A.Bilgram}等人，Lect。注释计算。科学。13035，69-84（2021；Zbl 07670973） 全文： 内政部 arXiv公司