×

找到82份文件（结果1-82）

最新 引文 关联
文森特·达诺斯;吉恩·克里文;巴布亚州索波辛斯基

一般可逆性。 （英语） Zbl 1277.68175号

Amadio，Roberto（编辑）等人，第13届并发表达性国际研讨会论文集（EXPRESS 2006），德国波恩，2006年8月26日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》175，第3期，75-86（2007）。
MSC公司：68问题85 第18页第32页 2005年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{V.Danos}等人，《电子》。注释Theor。计算。科学。175，第3号，75--86（2007；Zbl 1277.68175）
全文： 内政部
费尔南多·罗莎·维拉尔多

将移动同步Petri网编码为重写逻辑。 （英语） Zbl 1277.68145号

Fernández，M.（ed.）等人，第七届基于规则编程国际研讨会会议记录（rule 2006），西雅图，华盛顿州，美国，2006年8月11日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》174，第1期，83-98（2007）。
MSC公司：60年第68季度 2012年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{F.Rosa-Velardo}，电子。注释Theor。计算。科学。174，编号1，83--98（2007；Zbl 1277.68145）
全文： 内政部
费尔南多·罗莎·维拉尔多;戴维·德·弗鲁托斯·埃斯克里格;奥尔加马洛金·阿隆索

关于移动同步Petri网的表示性。 （英语） Zbl 1277.68205号

Michael Backes（编辑）等人，《安全与并发国际研讨会论文集》（SecCo 2005），美国加利福尼亚州旧金山，2005年8月22日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》180，第1期，77-94（2007）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{F.Rosa-Velardo}等人，《电子》。注释Theor。计算。科学。180，第1号，77--94（2007；Zbl 1277.68205）
全文： 内政部
桑切斯·埃雷拉。;北卡罗来纳州维拉纽瓦·佩雷斯。;López-Mellado，E。

合作移动机器人系统的高级建模。 （英语） Zbl 1217.68222号

Alami，Rachid（编辑）等人，《分布式自主机器人系统6》（DARS 2004）。根据2006年6月23日至25日在法国图卢兹举行的专题讨论会上的发言选出的论文。东京：Springer（ISBN 978-4-431-35869-5/hbk）。431-440 (2007).
MSC公司：68T40型
PDF格式BibTeX公司 XML格式引用
\textit{R.Sánchez-Herrera}等人，in：分布式自治机器人系统6（DARS 2004）。根据2006年6月23日至25日在法国图卢兹举行的专题讨论会上的发言选出的论文。东京：斯普林格。431-440（2007；Zbl 1217.68222）
全文： 内政部
范希、基斯;奥利维娅·奥内亚;纳塔利亚·西多罗娃;马克·沃霍夫

验证工作流网络的通用可靠性。 （英语） 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）
全文： 内政部 链接
彭先生;段振华;于斌

利用模糊Petri网进行基于编排的语义web服务发现。 （英语） Zbl 1226.68010号

Kleijn，Jetty（编辑）等人，Petri网和其他并发模型——ICATPN 2007。第28届Petri网和其他并发模型应用和理论国际会议，2007年6月25日至29日，波兰Siedlce，ICATPN 2007。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-73093-4/pbk）。计算机科学课堂讲稿4546362-380（2007）。
MSC公司：68米11 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{P.Men}等人，Lect。注释计算。科学。4546、362--380（2007年；Zbl 1226.68010）
全文： 内政部
马西耶·库特尼;Marta Pietkiewicz-Koutny

具有上下文ARCS和位置的基本网络系统的合成。 （英语） Zbl 1226.68061号

Kleijn，Jetty（ed.）等人，Petri网和其他并发模型——ICATPN 2007。第28届Petri网和其他并发模型应用和理论国际会议，2007年6月25日至29日，波兰Siedlce，ICATPN 2007。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-73093-4/pbk）。计算机科学课堂讲稿4546281-300（2007）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{M.库特尼}和\textit{M.Pietkiewicz-Koutny}，莱克特。注释计算。科学。4546、281--300（2007年；Zbl 1226.68061）
全文： 内政部
迈克尔·科勒;海科·Rölke

具有超双重对象网的Web服务编排。 （英语） Zbl 1226.68009号

Kleijn，Jetty（编辑）等人，Petri网和其他并发模型——ICATPN 2007。第28届Petri网和其他并发模型应用和理论国际会议，2007年6月25日至29日，波兰Siedlce，ICATPN 2007。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-73093-4/pbk）。计算机科学课堂讲稿4546263-280（2007）。
MSC公司：68米11 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{M.Köhler}和\textit{H.Rölke}，莱克特。注释计算。科学。4546、263--280（2007年；Zbl 1226.68009）
全文： 内政部
迈克尔·科勒;伯恩特·法尔

用于移动性的对象网。 （英语） Zbl 1226.68059号

Kleijn，Jetty（编辑）等人，Petri网和其他并发模型——ICATPN 2007。第28届Petri网和其他并发模型应用和理论国际会议，2007年6月25日至29日，波兰Siedlce，ICATPN 2007。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-73093-4/pbk）。计算机科学课堂讲稿4546，244-262（2007）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{M.Köhler}和\textit{B.Farwer}，莱克特。注释计算。科学。4546244-262（2007年；兹比尔1226.68059）
全文： 内政部
维克托·科门科;马克·谢弗

结合分解和展开进行STG合成。 （英语） Zbl 1226.68058号

Kleijn，Jetty（编辑）等人，Petri网和其他并发模型——ICATPN 2007。第28届Petri网和其他并发模型应用和理论国际会议，2007年6月25日至29日，波兰Siedlce，ICATPN 2007。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-73093-4/pbk）。计算机科学课堂讲稿4546，223-243（2007）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{V.Khomenko}和\textit{M.Schaefer}，Lect。注释计算。科学。4546、223--243（2007；Zbl 1226.68058）
全文： 内政部 链接
维克托·科门科

在展开前缀中插入行为保护转换。 （英语） Zbl 1226.68057号

Kleijn，Jetty（编辑）等人，Petri网和其他并发模型——ICATPN 2007。第28届Petri网和其他并发模型应用和理论国际会议，2007年6月25日至29日，波兰Siedlce，ICATPN 2007。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-73093-4/pbk）。计算机科学课堂讲稿4546204-222（2007）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{V.Khomenko}，莱克特。注释计算。科学。4546、204--222（2007年；Zbl 1226.68057）
全文： 内政部
科勒·戈戈尼奥;乔迪·科尔塔德拉;夏，费

一种合成异步通信机制的组合方法。 （英语） Zbl 1226.68055号

Kleijn，Jetty（编辑）等人，Petri网和其他并发模型——ICATPN 2007。第28届关于Petri网和其他并发模型的应用和理论的国际会议，2007年ICATPN，2007年6月25日至29日，波兰西德尔塞。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-73093-4/pbk）。计算机科学课堂讲稿4546144-163（2007）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{K.Gorgónio}等人，Lect。注释计算。科学。4546，144--163（2007；Zbl 1226.68055）
全文： 内政部
格林·温斯克尔

对称性和并发性。（扩展摘要）。 （英语） Zbl 1214.68252号

Mossakowski，Till（编辑）等人，《计算机科学中的代数和余代数》。第二届国际会议，2007年CALCO，挪威卑尔根，2007年8月20日至24日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-73857-2/pbk）。计算机科学课堂讲稿4624，40-64（2007）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{G.Winskel}，莱克特。注释计算。科学。4624，40--64（2007；Zbl 1214.68252）
全文： 内政部
克里斯蒂·马尔

捕获CSP中的冲突和困惑。 （英语） Zbl 1213.68408号

Davies，Jim（编辑）等，《综合形式方法》。2007年7月2日至5日，第六届国际会议，IFM 2007，英国牛津。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-73209-9/pbk）。计算机科学课堂讲稿4591413-438（2007）。
MSC公司：68问题85 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{C.Marr}，莱克特。注释计算。科学。45911413-438（2007年；兹比尔1213.68408）
全文： 内政部
你好，托尼

可补偿交易。 （英语） Zbl 1137.68449号

Broy，Manfred（编辑）等人，《软件系统可靠性和安全性》。《北约软件系统可靠性和安全高级研究所会议记录》，德国马克托伯恩多夫，2006年8月1日至13日。阿姆斯特丹：IOS出版社（ISBN 978-1-58603-731-4/hbk）。北约科学安全系列。D： 信息和通信安全9，116-134（2007年）。
MSC公司：68问题85 68纳米99
PDF格式BibTeX公司 XML格式引用
\textit{T.Hoare}，in：软件系统可靠性和安全性。《北约软件系统可靠性和安全高级研究所会议记录》，德国马克托伯恩多夫，2006年8月1日至13日。阿姆斯特丹：IOS出版社。116-134（2007；Zbl 1137.68449）
Chien，C.-F.（首席财务官）。;陈，C.-H。

使用遗传算法（GA）和有色时间Petri网（CTPN）对通用生产调度系统的基于优化的调度生成器进行建模。 （英语） Zbl 1128.90355号

国际J.生产研究。 45，第8期，1763-1789（2007）.
MSC公司：90立方厘米 90B35型 90 C59 90C05（二氧化碳）
PDF格式BibTeX公司 XML格式引用
\textit{C.F.Chien}和\textit{C.H.Chen}，国际期刊生产研究45，第8号，1763-1789（2007；Zbl 1128.90355）
全文： 内政部
康斯坦丁·塔科利亚;巴黎，阿德里安·斯特尔;艾奥·塔纳

制造系统可靠性模型。 （英语） Zbl 1330.90026号

Balan，Vladimir（编辑），第四届工程与数值物理数学国际学术讨论会论文集（MENP-4），罗马尼亚布加勒斯特，2006年10月6日至8日。数学部分。布加勒斯特：几何巴尔干出版社。BSG会议记录14，173-178（2007）。
MSC公司：90B25型 62纳米05 62J15型 62H20个 62K15型 60K20码
PDF格式BibTeX公司 XML格式引用
\textit{C.Tárcolea}等人，BSG程序。14、173--178（2007年；Zbl 1330.90026）
布拉尼斯拉夫·胡兹;周梦初

使用Petri网和其他工具对离散事件动态系统进行建模和控制。 （英语） Zbl 1129.93001号

控制与信号处理高级教材伦敦：施普林格出版社（ISBN 978-1-84628-872-2/pbk）。xx，第341页。(2007).
审核人：屋大维·帕斯特拉瓦努（伊阿什）
MSC公司：93-01 93-02 93元65角
PDF格式BibTeX公司 XML格式引用
\textit{B.Hrüz}和\textit{M.Zhou}，用Petri网和其他工具对离散事件动态系统进行建模和控制。伦敦：Springer（2007；Zbl 1129.93001）
马钦·斯皮尔卡

基于RTCP网络的嵌入式系统的设计与分析。（Modelowanie i analyza systemów wbudowanich z zastosowaniem RTCP-sieci.） （波兰语。英文摘要） Zbl 1122.68081号

Rozprawy Monografie公司165.克拉科夫：AGH Uczelniane Wydawnictwa Naukowo-Dydaktyczne。157页。(2007).
MSC公司：68问题85 68-02 90B20型
PDF格式BibTeX公司 XML格式引用
\textit{M.Szpyrka}，Modelowanie i analiza systemów wbudowanich z zastosowaniem RTCP-sieci（波兰）。克拉科夫：AGH Uczelniane Wydawnictwa Naukowo Dydaktyczne（2007年；兹比尔1122.68081）
亚历山德罗·朱阿;卡拉·西特祖

Petri网的系统论观点。 （英语） Zbl 1118.93038号

Bonivento，Claudio（编辑）等人，《控制理论与应用进展》。根据2006年5月22日至26日在意大利贝蒂诺罗举行的会议上的发言选出的论文。柏林：施普林格出版社（ISBN 978-3-540-70700-4/pbk）。《控制与信息科学课堂讲稿》353，99-127（2007）。
MSC公司：93元65角 93A30型 93-02 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{A.Giua}和\textit{C.Seatzu}，莱克特。票据控制信息科学。353、99-127（2007年；Zbl 1118.93038）
加列·马尔萨尔

通过模拟高级Petri网评估基于以太网的自动化系统的时间性能。 （英语） Zbl 1121.68082号

Berichte aus der Automatisierungstechnik公司亚琛：Shaker Verlag；凯泽劳滕：凯泽斯劳滕大学，Fachbereich Informatik；Cachan Cedex:Ecole Normale Supérieure de Cachan（ISBN 978-3-8322-6407-9/pbk）。iii，122页。，附录A-B（2007）。
MSC公司：68问题85 68-02
PDF格式BibTeX公司 XML格式引用
\textit{G.Marsal}，通过模拟高级Petri网评估基于以太网的自动化系统的时间性能。亚琛：Shaker Verlag；凯泽劳滕：凯泽斯劳滕大学，Fachbereich Informatik；Cachan Cedex:Ecole Normale Supérieure de Cachan（2007；Zbl 1121.68082）
全文： 链接
安德烈·卡拉特基维奇

基于Petri网的离散系统的动态分析。 （英语） Zbl 1121.93003号

控制与信息科学课堂讲稿356.柏林：施普林格出版社（ISBN 978-3-540-71464-4/pbk）。xiii，第166页。(2007).
审核人：Krzysztof Gałkowski（齐埃罗娜·戈拉）
MSC公司：93-02 93元65角 94D05型
PDF格式BibTeX公司 XML格式引用
\textit{A.Karatkevich}，基于Petri网的离散系统的动态分析。柏林：施普林格出版社（2007；Zbl 1121.93003）
全文： 内政部
埃米利亚·维拉尼;宫城，保罗·艾吉;罗伯特·瓦莱特

混合监控系统的建模和分析。一种Petri网方法。 （英语） Zbl 1132.93001号

工业控制进展伦敦：施普林格出版社（ISBN 978-1-84628-650-6/hbk）。第二十二、224页。(2007).
审核人：A.Šwierniak（格利维塞）
MSC公司：93-02 93-03 93元65角 94C15号机组 93甲13 90B30型 90B50型
PDF格式BibTeX公司 XML格式引用
\textit{E.Villani}等人，混合监管系统的建模与分析。Petri网方法。伦敦：施普林格出版社（2007；Zbl 1132.93001）

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前3名

主字段

全部的 前3名

软件