德比约蒂·贝拉；Kees M.van Hee。；范德沃夫，扬·马蒂恩 设计弱端接ROS系统。 （英语） Zbl 1357.68243号 Haddad，Serge（编辑）等人，《Petri网的应用和理论》。第33届国际会议，2012年6月25日至29日，德国汉堡，PETRI NETS 2012。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-31130-7/pbk）。《计算机科学讲义》7347328-347（2012）。MSC公司：68T40型 第68页第25页 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{D.Bera}等人，Lect。票据计算。科学。7347，328--347（2012；Zbl 1357.68243） 全文： 内政部
范德阿尔斯特，W.M.P。；van Hee，K.M。；ter Hofstede，A.H.M。；新墨西哥州西多罗瓦。；H.M.W.韦贝克。；M·沃霍夫。；韦恩，M.T。 工作流网络的可靠性：分类、可判定性和分析。 （英语） Zbl 1225.68129号 正式Asp。计算。 23，第3期，333-363（2011）. 审核人：Krassimir Atanassov（索非亚） MSC公司：68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{W.M.P.van der Aalst}等人，《形式语法》。计算。23，第3号，333--363（2011；Zbl 1225.68129） 全文： 内政部
Wil M.P.范德阿尔斯特。；Kees M.van Hee。；阿瑟·霍夫斯泰德。；纳塔利亚·西多罗娃；H.M.W.韦贝克。；马克·沃霍夫；Wynn，Moe T。 具有重置ARCS的工作流网络的健全性。 （英语） Zbl 1266.68140号 Jensen，Kurt（编辑）等人，《Petri网和其他并发模型事务处理III。柏林：施普林格出版社》（ISBN 978-3-642-04854-8/pbk）。计算机科学5800课堂讲稿。《期刊副刊》，50-70（2009年）。MSC公司：68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{W.M.P.van der Aalst}等人，Lect。票据计算。科学。5800，50-70（2009年；Zbl 1266.68140） 全文： 内政部 链接
艾萨克·科罗·拉莫斯；亚历山德罗·迪·布奇亚尼科；卢辛·哈科比扬；范希、基斯 基于测试历史的模型驱动测试。 （英语） 兹比尔1171.68567 Jensen，Kurt（编辑）等人，《Petri网和其他并发模型的事务处理I.柏林：施普林格》（ISBN 978-3-540-89286-1/pbk）。计算机科学讲义5100。《Subline期刊》，134-151（2008）。MSC公司：68问题85 68号30 PDF格式BibTeX公司 XML格式引用 \textit{I.Corro Ramos}等人，Lect。票据计算。科学。5100、134--151（2008年；Zbl 1171.68567） 全文： 内政部
范希、基斯；奥利维娅·奥内亚；纳塔利亚·西多罗娃；马克·沃霍夫 验证工作流网络的通用可靠性。 （英语） Zbl 1185.68452号 Virbitskaite，Irina（编辑）等人，《系统信息学的观点》。2006年6月27日至30日，俄罗斯新西伯利亚，第六届安德烈·埃尔肖夫国际纪念大会，PSI 2006。修订论文。柏林：施普林格出版社（ISBN 978-3-540-70880-3/pbk）。计算机科学课堂讲稿4378，235-247（2007）。MSC公司：68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.van Hee}等人，Lect。票据计算。科学。4378，235--247（2007；Zbl 1185.68452） 全文： 内政部 链接
Kees M.van Hee。；伊琳娜·洛马佐娃。；奥利维娅·奥内亚；亚历山大·塞雷布雷尼克；纳塔利亚·西多罗娃；马克·沃霍夫 自适应系统的嵌套网络。 （英语） Zbl 1234.68314号 Donatelli，Susanna（编辑）等人，Petri网和其他并发模型——ICATPN 2006。第27届Petri网和其他并发模型的应用和理论国际会议，2006年6月26日至30日，芬兰图尔库。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-34699-9/pbk）。计算机科学课堂讲稿4024241-260（2006）。MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \文本{K.M.van Hee}等人，Lect。票据计算。科学。40242241-260（2006年；兹比尔12346.8314） 全文： 内政部
范希、基斯；纳塔利亚·西多罗娃；马克·沃霍夫 资源约束的工作流网络。 （英语） Zbl 1095.68071号 芬丹。通知。 71，编号2-3，243-257（2006）.MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{K.van Hee}等人，Fundam。通知。71，编号2--3，243--257（2006；Zbl 1095.68071）
范希、基斯；亚历山大·塞雷布雷尼克；纳塔利亚·西多罗娃；马克·沃霍夫 资源约束工作流网络的健全性。 （英语） Zbl 1128.68391号 Ciardo，Gianfranco（编辑）等人，《Petri网的应用和理论》，2005年。第26届国际会议，ICATPN 2005，迈阿密，佛罗里达州，美国，2005年6月20日至25日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-26301-2/pbk）。计算机科学课堂讲稿3536250-267（2005）。MSC公司：68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.van Hee}等人，Lect。票据计算。科学。3536，250-267（2005；Zbl 1128.68391） 全文： 内政部
范希、基斯；纳塔利亚·西多罗娃；马克·沃霍夫 逐步细化方法中工作流网络的健全性和可分性。 （英语） Zbl 1274.68263号 van der Aalst，Wil（编辑）等人，《Petri网的应用和理论》，2003年。第24届国际会议，ICATPN 2003，荷兰埃因霍温，2003年6月23日至27日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-40334-5/pbk）。《计算机科学讲义》2679337-356（2003）。MSC公司：68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.van Hee}等人，Lect。票据计算。科学。2679337--356（2003年；Zbl 1274.68263） 全文： 内政部
范德阿尔斯特，W.M.P。；van Hee，K.M。；范德图恩，R.A。 基于组件的软件架构：基于行为继承的框架。 （英语） Zbl 1013.68053号 科学。计算。程序。 42，编号2-3，129-171（2002）.MSC公司：68号01 PDF格式BibTeX公司 XML格式引用 \textit{W.M.P.van der Aalst}等人，科学。计算。程序。42，编号2--3，129-171（2002；Zbl 1013.68053） 全文： 内政部
范德阿尔斯特，W.M.P。；van Hee，K.M。；H.A.Reijers。 离散时间随机Petri网分析。 （英语） Zbl 0994.68091号 内尔统计局。 54，第2期，237-255（2000）.MSC公司：68问题85 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{W.M.P.van der Aalst}等人，Stat.Neerl。54，第2号，237--255（2000；Zbl 0994.68091） 全文： 内政部
Kees M.van Hee。 信息系统工程。正式方法。 （英语） Zbl 0812.68030号 剑桥：大学出版社。xiii，421页，27.95英镑；$44.95/hc（1994年）。 审核人：V.Ya.公司。克雷诺维奇（埃尔帕索） MSC公司：68-01 60年第68季度 68宽15 68岁20岁 PDF格式BibTeX公司 XML格式引用 \textit{K.M.van Hee}，信息系统工程。正式方法。剑桥：大学出版社（1994；Zbl 0812.68030）