×

找到9个文档（结果1-9）

最新的 引文 关联
范德阿尔斯特，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，编号3333-363（2011年；兹bl 1225.68129）
全文： DOI程序
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）
全文： DOI程序 链接
范希、基斯；奥利维娅·奥内亚；纳塔利亚·西多罗娃；马克·沃霍夫

验证工作流网络的通用可靠性。 （英语） 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）
全文： DOI程序 链接
Kees M.van Hee。；伊琳娜·洛马佐娃（Irina A.Lomazova）。；奥利维娅·奥内亚；亚历山大·塞雷布雷尼克；纳塔利亚·西多罗娃；马克·沃霍夫

自适应系统的嵌套网络。 （英语） 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格式引用
\textit{K.M.van Hee}等人，Lect。注释计算。科学。40242241-260（2006年；兹比尔12346.8314）
全文： DOI程序
范希、基斯；亚历山大·塞雷布雷尼克；纳塔利亚·西多罗娃；马克·沃霍夫

资源约束工作流网络的健全性。 （英语） 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）
全文： DOI程序
范希、基斯；纳塔利亚·西多罗娃；马克·沃霍夫

逐步细化方法中工作流网络的健全性和可分性。 （英语） 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）
全文： DOI程序
吐温·巴斯滕；马克·沃霍夫

层次P/T网络的代数语义。 （英语） Zbl 1496.68214号

De Michelis，Giorgio（编辑）等人，Petri网的应用和理论，1995年。第十六届国际会议，1995年6月26日至30日，意大利都灵。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。935, 45-65 (1995).
MSC公司：68问题85 68问题55 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{T.Basten}和\textit{M.Voorhoeve}，莱克特。注释计算。科学。935、45-65（1995年；Zbl 1496.68214）
全文： DOI程序 链接

筛选结果依据…

文档类型

全部的 前5名

作者

序列号

全部的 前5名

出版年份

主字段

全部的 前3名

软件