张丽君;杨鹏飞;宋磊;霍尔格赫尔曼斯;克里斯蒂安·艾森特罗;大卫·詹森（David N.Jansen）。;Jens Chr.Godskesen。 实际调度程序的概率互模拟。 （英文） Zbl 1398.68374号 学报信息。 55，第6号，461-488（2018）.MSC公司：68问题85 65年第68季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Zhang}等人，《学报》第55期，第6期，第461--488页（2018年；Zbl 1398.68374） 全文： 内政部
克里斯蒂安·艾森特罗;Jens Chr.Godskesen。;霍尔格赫尔曼斯;宋磊;张丽君 实际调度程序的概率互模拟。 （英文） Zbl 1427.68193号 Björner，Nikolaj（编辑）等人，FM 2015：形式方法。第20届国际研讨会，挪威奥斯陆，2015年6月24-26日。诉讼程序。查姆：斯普林格。勒克特。注释计算。科学。9109, 248-264 (2015).MSC公司：68问题85 65年第68季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Eisentraut}等人，Lect。注释计算。科学。91092248-264（2015年；兹比尔1427.68193） 全文： 内政部
克里斯蒂安·艾森特罗;霍尔格赫尔曼斯;Joost-Pieter卡托恩;张丽君 每个GSPN的语义。 （英文） Zbl 1381.68199号 Colom，José-Manuel（编辑）等人，《Petri网和并发的应用和理论》。第34届国际会议，PETRI NETS 2013，意大利米兰，2013年6月24日至28日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-38696-1/pbk）。计算机科学课堂讲稿7927，90-109（2013）。MSC公司：68问题85 68问题55 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Eisentraut}等人，Lect。注释计算。科学。7927，90-109（2013年；兹bl 1381.68199） 全文： 内政部