×

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

最新的 引文 关联
熊宝安;高淳浩

通过有色时间Petri网的时间记忆调度实现实时嵌入式软件的形式化综合。 （英语） Zbl 1270.68052号

Asarin，Eugene（编辑）等人，TPTS’2002。2002年4月6日至7日，法国格勒诺布尔，第一届定时系统理论与实践研讨会论文集（2002年ETAPS卫星活动）。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》65，第6期，140-159（2002）。
MSC公司：68平方米 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{P.-A.Hsiung}和\textit{C.-H.Gau}，电子。注释Theor。计算。科学。65，第6号，140--159（2002；Zbl 1270.68052）
全文： 内政部
纳维尔·加尔比;马利卡·尤瓦拉伦

基于广义随机Petri网的重试排队系统性能分析。 （英语） Zbl 1270.68051号

Asarin，Eugene（编辑）等人，TPTS’2002。2002年4月6日至7日在法国格勒诺布尔举行的第一次定时系统理论与实践研讨会会议记录（ETAPS 2002年卫星活动）。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》65，第6期，86-100（2002）。
MSC公司：68平方米 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{N.Gharbi}和\textit{M.Ioualen}，电子。注释Theor。计算。科学。65，第6号，86--100（2002；Zbl 1270.68051）
全文： 内政部
保罗·巴尔丹

Petri网外壳中图文法的并发性。 （英语） Zbl 1263.68065号

Bauderon，Michel（编辑）等人，GETGRATS图形转换系统闭幕研讨会，法国波尔多，2001年6月22日至23日。诉讼程序。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记51，65-82（2002）。
MSC公司：2012年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{P.Baldan}，电子。注释Theor。计算。科学。51、65-82（2002年；Zbl 1263.68065）
全文： 内政部
雷蒙德·魔鬼队;汉娜·克劳代尔;马西耶·库特尼;法兰克·波默罗

非安全Petri盒代数。 （英语） 兹比尔1275.68104

Kirchner，Hélène（编辑）等人，《代数方法论和软件技术》。第九届国际会议，2002年AMAST，2002年9月9日至13日，法国留尼汪岛圣吉尔-莱斯-巴恩斯。生产。柏林：施普林格出版社（ISBN 3-540-44144-1/pbk）。计算机科学课堂讲稿2422192-207（2002）。
MSC公司：68问题85 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{R.Devillers}等人，Lect。注释计算。科学。2422，192--207（2002；Zbl 1275.68104）
全文： 内政部 哈尔
山本三郎;Jean-Marie科廷;Masami Hagiya

定时多集重写安全性的判定。 （英语） Zbl 1278.68128号

Damm，Werner（编辑）等人，《实时和容错系统中的形式化技术》。2002年9月9日至12日，第七届国际研讨会，FTRTFT 2002，由IFIP WG 2.2联合主办，德国奥尔登堡。诉讼程序。柏林：施普林格出版社（ISBN 3-540-44165-4/pbk）。计算机科学课堂讲稿2469165-183（2002）。
MSC公司：2012年第68季度 65年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{M.Yamamoto}等人，Lect。注释计算。科学。2469165-183（2002年；Zbl 1278.68128）
全文： 内政部
萨维斯塔斯，S.G。;M.G.潘泰利斯。;Kostis，D.L。

使用Petri网和梯形逻辑图设计和实现逻辑控制器。 （英语） Zbl 1053.93030号

系统。分析。建模仿真 42，第1期，135-167（2002）.
审核人：Alex V.Kolnogorov（诺夫哥罗德）
MSC公司：93元65角 93C85号 2005年第70季度 68问题85 93C83号
PDF格式BibTeX公司 XML格式引用
\textit{S.G.Tzafestas}等人，系统。分析。模型1。模拟。42，第1号，135--167（2002；Zbl 1053.93030）
托马斯·梅隆德

结合等价约简和扫线法分析无限状态系统。 （英语） Zbl 1047.68609号

Esparza，Javier（编辑）等人，《Petri网的应用和理论》，2002年。第23届国际会议，ICATPN 2002，澳大利亚阿德莱德，2002年6月24-30日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-43787-8）。莱克特。注释计算。科学。2360, 314-334 (2002).
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{T.Mailund}，莱克特。注释计算。科学。2360314--334（2002年；Zbl 1047.68609）
全文： 链接
刘、林;乔纳森·比林顿

处理多媒体控制协议服务规范的无限状态空间。 （英语） Zbl 1047.68504号

Esparza，Javier（编辑）等人，《Petri网的应用和理论》，2002年。第23届国际会议，ICATPN 2002，澳大利亚阿德莱德，2002年6月24-30日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-43787-8）。莱克特。注释计算。科学。2360, 273-293 (2002).
MSC公司：68M10个 68个M12 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{L.Liu}和\textit{J.Billington}，Lect。注释计算。科学。2360273--293（2002年；Zbl 1047.68504）
全文： 链接
路易斯·马里·勒尼;布鲁诺·塔芬

使用随机Petri网对基于多类阈值的滞后队列进行建模和分析。 （英语） 兹比尔1047.68534

Esparza，Javier（编辑）等人，《Petri网的应用和理论》，2002年。第23届国际会议，ICATPN 2002，澳大利亚阿德莱德，2002年6月24-30日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-43787-8）。莱克特。注释计算。科学。2360, 254-272 (2002).
MSC公司：68平方米 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{L.-M.Le Ny}和\textit{B.Tuffin}，莱克特。注释计算。科学。2360254--272（2002；Zbl 1047.68534）
全文： 链接
焦、李;张德逸;陆伟明

用虹吸管表征Petri网的活性。 （英语） Zbl 1047.68086号

Esparza，Javier（编辑）等人，《Petri网的应用和理论》，2002年。第23届国际会议，ICATPN 2002，澳大利亚阿德莱德，2002年6月24-30日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-43787-8）。莱克特。注释计算。科学。2360, 203-216 (2002).
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{L.Jiao}等人，Lect。注释计算。科学。2360203--216（2002；Zbl 1047.68086）
全文： 链接
乔瓦纳·迪·马尔佐·塞卢根多;迪诺·曼德里奥利;迪迪埃·布克斯;尼古拉斯·盖尔菲

实时同步Petri网。 （英语） Zbl 1047.68606号

Esparza，Javier（编辑）等人，《Petri网的应用和理论》，2002年。第23届国际会议，ICATPN 2002，澳大利亚阿德莱德，2002年6月24-30日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-43787-8）。莱克特。注释计算。科学。2360, 142-162 (2002).
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{G.Di Marzo Serugendo}等人，Lect。注释计算。科学。2360142--162（2002年；Zbl 1047.68606）
全文： 链接
F.鲍斯。;贝尔纳，H。;M·菲舍尔。;坎佩尔，P。;Völker，M。

用于流程链建模和分析的ProC/B工具集。 （英语） Zbl 1047.68512号

Field，Tony（编辑）等人，《计算机性能评估》。建模技术和工具。2002年4月14日至17日，第12届国际会议，TOOLS 2002，英国伦敦。诉讼程序。柏林：施普林格出版社（ISBN 3-540-43539-5）。莱克特。注释计算。科学。2324，51-70（2002年）。
MSC公司：68平方米 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{F.Bause}等人，Lect。注释计算。科学。2324，51-70（2002；Zbl 1047.68512）
全文： 链接
戈戈尼奥，凯勒·科斯塔;安吉洛·佩尔库西奇

改编软件工件的彩色Petri网模型以供重用。 （英语） Zbl 1051.68666号

Cristina Gacek（编辑），《软件重用：方法、技术和工具》。第七届国际会议，ICSR-7，美国德克萨斯州奥斯汀，4月15-19日，。2002.诉讼。柏林：施普林格出版社（ISBN 3-540-43483-6）。莱克特。注释计算。科学。2319, 240-254 (2002).
MSC公司：68单位99 68N99型 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{K.C.Gorgónio}和\textit{A.Perkusich}，莱克特。注释计算。科学。2319240-254（2002年；Zbl 1051.68666）
全文： 链接
卡捷琳娜·科伦布拉特;奥尔纳·格隆伯格;Shmuel Katz

文本转换系统和Petri网之间的转换。 （英语） Zbl 1057.68067号

迈克尔·巴特勒（编辑）等人，《综合形式方法》。第三届国际会议，IFM 2002，芬兰图尔库，2002年5月15日至18日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-43703-7）。莱克特。注释计算。科学。2335, 339-359 (2002).
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{K.Korenblat}等人，Lect。注释计算。科学。2335339-359（2002年；兹bl 1057.68067）
全文： 链接
凯乔·赫尔扬科;维克托·科门科;马西耶·库特尼

Petri网展开算法的并行化。 （英语） 兹比尔1043.68593

Katoen，Joost-Pieter（ed.）等人，《系统构建和分析的工具和算法》。第八届国际会议，TACAS 2002。2002年4月8日至12日，作为欧洲软件理论与实践联合会议的一部分，在法国格勒诺布尔举行。柏林：施普林格出版社（ISBN 3-540-43419-4）。莱克特。注释计算。科学。2280, 371-385 (2002).
MSC公司：68问题85 60年第68季度 68宽10
PDF格式BibTeX公司 XML格式引用
\textit{K.Heljanko}等人，Lect。注释计算。科学。2280371--385（2002年；Zbl 1043.68593）
全文： 链接
米科拉扎克（Mikolajczak，Boleslaw）;阿图尔·奥特利克

使用面向对象Petri网对具有参与者的分布式系统进行规范。 （英语） Zbl 1088.68520号

Kłopotek，Mieczys \322»aw A.（编辑）等人，《智能信息系统2002》。2002年6月3日至6日，波兰索波特，IIS 2002年研讨会论文集。海德堡：Physica-Verlag（ISBN 3-7908-1509-8/pbk）。《软计算进展》，423-434（2002）。
MSC公司：68个M12 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{B.Mikolajczak}和\textit{A.Ottlik}，《智能信息系统2002》。2002年6月3-6日，波兰索波特，IIS 2002年研讨会论文集。海德堡：Physica-Verlag。423--434（2002年；Zbl 1088.68520）
乔塞普·卡莫纳;乔迪·科尔塔德拉

无功系统的输入/输出兼容性。 （英语） Zbl 1019.68616号

Aagaard，Mark D.（编辑）等人，《计算机辅助设计中的形式化方法》。第四届国际会议，2002年11月6日至8日，美国俄勒冈州波特兰市，FMCAD 2002。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。2517, 360-377 (2002).
MSC公司：68单位07 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{J.Carmona}和\textit{J.Cortadela}，莱克特。注释计算。科学。2517，360-377（2002；Zbl 1019.68616）
全文： 链接
于慧群;何旭东;邓毅;莫，廉

使用SAM对实时系统进行形式化分析。 （英语） 兹比尔1015.68669

George，Chris（编辑）等，《形式方法与软件工程》，第四届形式工程方法国际会议，2002年10月21日至25日，中国上海。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。2495, 275-286 (2002).
MSC公司：68单位99 68N99型 68问题85 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{H.Yu}等人，Lect。注释计算。科学。2495275--286（2002年；Zbl 1015.68669）
全文： 链接
沈军;杨云;罗俊洲

会话服务的Petri网模型。 （英语） Zbl 1015.68586号

韩燕波（编辑）等，《合作信息系统的工程和部署》。第一届国际会议，2002年EDCIS，中国北京，2002年9月17日至20日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。2480, 303-314 (2002).
MSC公司：68单位99 68单位35 68个M12 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{J.Shen}等人，Lect。注释计算。科学。2480303--314（2002年；Zbl 1015.68586）
全文： 链接
林，庄;曲，杨;任凤源;Dan C.Marinescu。

基于随机Petri网模型的工作流系统性能等效分析。 （英语） Zbl 1015.68906号

韩燕波（编辑）等，《合作信息系统的工程和部署》。第一届国际会议，2002年EDCIS，中国北京，2002年9月17日至20日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。2480, 64-79 (2002).
MSC公司：68单位99 68单位35
PDF格式BibTeX公司 XML格式引用
\textit｛C.Lin｝等人，Lect。注释计算。科学。2480、64--79（2002年；Zbl 1015.68906）
全文： 链接
范德阿尔斯特。;范东根，B.F。

从定时日志中发现工作流性能模型。 （英语） 兹比尔1015.68653

韩燕波（编辑）等，《合作信息系统的工程和部署》。第一届国际会议，2002年EDCIS，中国北京，2002年9月17日至20日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。2480, 45-63 (2002).
MSC公司：68单位99 68单位35
PDF格式BibTeX公司 XML格式引用
\textit{W.M.P.van der Aalst}和\textit{B.F.van Dongen}，莱克特。注释计算。科学。2480、45-63（2002年；Zbl 1015.68653）
全文： 链接
曲，杨;林，庄;王继业

基于时间Petri网模型的工作流管理系统线性时间推理。 （英语） Zbl 1015.68911号

韩燕波（编辑）等，《合作信息系统的工程和部署》。第一届国际会议，2002年EDCIS，中国北京，2002年9月17日至20日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。2480, 30-44 (2002).
MSC公司：68单位99 68单位35
PDF格式BibTeX公司 XML格式引用
\textit{Y.Qu}等人，Lect。注释计算。科学。2480、30--44（2002年；Zbl 1015.68911）
全文： 链接
杰根森，延斯·伯克;瑟伦·克里斯滕森

普适医疗中间件系统的可执行设计模型。 （英语） Zbl 1018.68697号

Jézéquel，Jean-Marc（编辑）等人，“UML”2002——统一建模语言。模型工程、概念和工具。第五届国际会议，2002年9月30日至10月4日，德国德累斯顿。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。2460, 140-149 (2002).
MSC公司：68单位99 68甲15
PDF格式BibTeX公司 XML格式引用
\textit｛J.B.Jørgensen｝和\textit｛S.Christensen｝，Lect。注释计算。科学。2460140-149（2002年；Zbl 1018.68697）
全文： 链接
维克托·科门科;马西耶·库特尼;沃尔特·福格勒

Petri网展开的标准前缀。 （英语） Zbl 1010.68094号

Brinksma，Ed（编辑）等人，《计算机辅助验证》。2002年7月27日至31日，丹麦哥本哈根，第14届国际会议，CAV 2002。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。2404, 582-595 (2002).
MSC公司：68问题85 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{V.Khomenko}等人，Lect。注释计算。科学。2404582-595（2002年；Zbl 1010.68094）
全文： 链接
乔迪·科尔塔德拉（编辑）;亚历克斯·雅科夫列夫（编辑）;格列泽戈兹·罗森贝格（编辑）

并发和硬件设计。Petri网的进展。 （英语） Zbl 1011.00018号

计算机科学课堂讲稿. 2549. 柏林：斯普林格。xi，第343页（2002年）。
MSC公司：00B15号机组 68-06 2007年7月68日 68问题85 94立方厘米
PDF格式BibTeX公司 XML格式引用
\textit{J.Cortadella}（编辑）等人，《并发和硬件设计》。Petri网的进展。柏林：施普林格（2002年；Zbl 1011.00018）
全文： 内政部 链接
乔治·塔帕罗夫

离散生产系统建模的面向对象方法。 （英语） Zbl 1050.90517号

Shtrakov，Sl.（编辑）等人，《离散数学与应用》。第六届国际会议记录，2001年8月31日至9月2日，保加利亚班斯科。布拉戈夫格勒：西南大学（ISBN 954-680-219-0/pbk）。Res.数学。计算。科学。，171-178 (2002).
MSC公司：90B30型 90B10型 68号30 68甲19
PDF格式BibTeX公司 XML格式引用
\textit{G.Tuparov}，in：离散数学与应用。第六届国际会议记录，2001年8月31日至9月2日，保加利亚班斯科。布拉戈埃夫格勒：西南大学。171--178（2002年；Zbl 1050.90517）
纳比勒·哈默兰

活动对象的行为子类型和属性保留。 （英语） Zbl 1056.68060号

Jacobs，Bart（ed.）等人，开放对象分布式系统的形式化方法V.IFIP TC6/WG6.1第五届国际会议，FMOODS 2002，荷兰恩舍德，2002年3月20日至22日。波士顿：Kluwer学术出版社（ISBN 0-7923-7683-8）。IFIP，国际联邦信息流程。81, 95-110 (2002).
MSC公司：68甲19 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{N.Hameurlain}，IFIP，国际联邦信息处理。81、95——110（2002年；Zbl 1056.68060）
Raymond H·陈。;Ching和Wai Ki

随机自动机网络的直接方法。 （英语） Zbl 1018.90005号

Chan，Raymond（编辑）等人，《应用概率》。中国香港中文大学数学科学研究所IMS研讨会论文集。普罗维登斯，RI:AMS，美国数学学会/IP，国际出版社。AMS/IP高级数学研究。26, 1-15 (2002).
MSC公司：90B15号机组 60K25码 92立方厘米20
PDF格式BibTeX公司 XML格式引用
\textit{R.H.Chan}和\textit{W.K.Ching}，AMS/IP Stud.高级数学。26、1-15（2002年；Zbl 1018.90005）
纳司雷定

指定和验证一致和动态演化的并发信息系统：基于对象Petri网的方法（Diss.2001）。 （英语） Zbl 1012.68049号

亚琛：Shaker Verlag。马格德堡：马格德堡大学，Fakultät Informatik，234页（2002年）。
审核人：G.Bauer（哥里茨）
MSC公司：68甲19 68-02
PDF格式BibTeX公司 XML格式引用
\textit{N.Aoumeur}，《指定和验证一致且动态演化的并发信息系统：基于对象Petri网的方法》（Diss.2001）。亚琛：Shaker Verlag；马格德堡：马格德伯格大学，Fakultät Informatik（2002；Zbl 1012.68049）
全文： 链接
亚历山德罗·朱阿;卡拉·西特祖

使用Petri网为离散事件系统设计观测器/控制器。 （英语） Zbl 1037.93057号

Caillaud，Benoêt（编辑）等人，《离散事件系统的合成与控制》。波士顿：Kluwer学术出版社（ISBN 0-7923-7639-0）。167-182 (2002).
审核人：博胡米尔·弗兰蒂舍克·什马尔达（布尔诺）
MSC公司：93元65角 93个B07 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{A.Giua}和\textit{C.Seatzu}，in：离散事件系统的合成与控制。波士顿：Kluwer学术出版社。167-182（2002年；Zbl 1037.93057）
A.加法里。;雷兹格，N。;谢晓兰

使用区域理论进行动态和最大允许控制器综合。 （英语） 兹比尔1014.93024

Caillaud，Benoêt（编辑）等人，《离散事件系统的合成与控制》。波士顿：Kluwer学术出版社。155-166 (2002).
审核人：Bohumil FrantišekŠmarda（布尔诺）
MSC公司：93元65角 93B50个 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{A.Ghaffari}等人，in：离散事件系统的合成与控制。波士顿：Kluwer学术出版社。155-166（2002年；Zbl 1014.93024）
弗朗西斯科·巴西利;帕斯夸尔·恰奇奥;亚历山德罗·朱阿

优化Petri网监控器设计。 （英语） Zbl 1014.93023号

Caillaud，Benoêt（编辑）等人，《离散事件系统的合成与控制》。波士顿：Kluwer学术出版社。141-153 (2002).
审核人：博胡米尔·弗兰蒂舍克·什马尔达（布尔诺）
MSC公司：93元65角 93甲13 68问题85 90立方厘米 93B50个
PDF格式BibTeX公司 XML格式引用
\textit{F.Basile}等人，in：离散事件系统的合成与控制。波士顿：Kluwer学术出版社。141--153（2002年；Zbl 1014.93023）
雷内·博尔。

时间离散事件植物的Petri网模型。 （英语） Zbl 1015.93036号

Baños，Alfonso（编辑）等人，《非线性系统控制的进展》。2000年9月，西班牙穆尔西亚，第二届NCN教育学院讲座。柏林：斯普林格。莱克特。票据控制信息科学。264, 163-194 (2002).
审核人：弗拉基米尔·斯科贝列夫（顿涅茨克）
MSC公司：93元65角 93A30型 93甲13
PDF格式BibTeX公司 XML格式引用
\文本｛R.J.Boel｝，Lect。票据控制信息科学。264163-194（2002年；Zbl 1015.93036）
哈维尔·埃斯帕尔扎（编辑）;查尔斯·拉科斯（编辑）

2002年Petri网的应用和理论。第23届国际会议，ICATPN 2002，澳大利亚阿德莱德，2002年6月24-30日。诉讼程序。 （英语） Zbl 0992.00053号

计算机科学课堂讲稿. 2360. 柏林：斯普林格。x、 445页（2002年）。
MSC公司：00B25型 68-06 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{J.Esparza}（编辑）和\textit{C.Lakos}（主编），Petri网的应用和理论，2002年。第23届国际会议，ICATPN 2002，澳大利亚阿德莱德，2002年6月24-30日。诉讼程序。柏林：施普林格（2002年；Zbl 0992.00053）
阿米尔·安瓦尔（Amir M.Anvar）。

使用模糊逻辑Petri网对指挥控制导航仿真中的不确定性进行推理和分析。 （英语） Zbl 1001.68942号

Dimitrov，V.（编辑）等人，《模糊逻辑》。新千年的框架。海德堡：Physica-Verlag。模糊软计算研究。81, 253-262 (2002).
MSC公司：68单位99 68平方英寸 68层37 68问题85
PDF格式BibTeX公司 XML格式引用
\textit｛A.M.Anvar｝，Stud.Fuzziness软计算。81、253--262（2002年；Zbl 1001.68942）

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前3名

主字段

全部的 前3名

软件