约泽夫·温科夫斯基 上下文网络中的可达性。 (英语) 兹比尔1003.68106 芬丹。通知。 51,编号1-2,235-250(2002)。MSC公司:68问题85 90C05(二氧化碳) PDF格式BibTeX公司 XML格式引用 \textit{J.Winkowski},芬丹。通知。51,编号1--2,235-250(2002;Zbl 1003.68106)
Kimmo Varpaaniemi公司 在顽固集方法中最小化后续状态的数量。 (英语) Zbl 1003.68105号 芬丹。通知。 51,编号1-2,215-234(2002)。MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{K.Varpaaniemi},芬丹。通知。51,编号1--2,215--234(2002;Zbl 1003.68105)
苏拉吉,Z。;J.F.彼得斯。;Rząsa,W。 体积风暴单元分类中使用的不同决策算法的比较。 (英语) Zbl 1003.68685号 芬丹。通知。 51,第1-2号,201-214(2002)。MSC公司:68单位99 68T05型 68层35 92F05型 PDF格式BibTeX公司 XML格式引用 \textit{Z.Suraj}等人,Fundam。通知。51,编号1--2,201-214(2002;Zbl 1003.68685)
简·里奇林;波波瓦·齐格曼(Louchka Popova-Zeugmann);马蒂亚斯·沃纳 用Petri网验证可组合体系结构的非功能属性。 (英语) Zbl 1008.68082号 芬丹。通知。 51,编号1-2185-200(2002)。MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{J.Richling}等人,Fundam。通知。51,第1-2185-200号(2002年;兹bl 1008.68082)
兹比格涅夫·拉希。;什什尔·古普塔 分布式知识系统中的全球行动规则。 (英语) Zbl 1052.68032号 芬丹。通知。 51,编号1-2,175-184(2002)。MSC公司:68第20页 68单位35 68T05型 PDF格式BibTeX公司 XML格式引用 \textit{Z.W.Ra-si}和\textit{S.Gupta},Fundam。通知。51,编号1--2,175-184(2002;Zbl 1052.68032)
詹姆斯·彼得斯(James F.Peters)。;安德烈·斯科伦;杰洛斯·斯捷潘纽克;希拉·拉曼纳 走向近似理性的本体论。 (英语) Zbl 1003.68155号 芬丹。通知。 51,第1-2157-173号(2002年)。MSC公司:68T27型 68层37 PDF格式BibTeX公司 XML格式引用 \textit{J.F.Peters}等人,Fundam。通知。51,编号1--2,157-173(2002;Zbl 1003.68155)
沃伊切赫·彭泽克;沃纳、博埃纳;安德烈·兹布雷泽兹尼 CTL通用片段的有界模型检验。 (英语) Zbl 1052.68087号 芬丹。通知。 51,编号1-2,135-156(2002)。MSC公司:60年第68季度 68问题85 03B44型 PDF格式BibTeX公司 XML格式引用 \textit{W.Penczek}等人,Fundam。通知。51,第1-2135-156号(2002年;兹bl 1052.68087)
伊琳娜·洛马佐娃(Irina A.Lomazova)。 用嵌套Petri网对分布式系统中的动态对象进行建模。 (英语) Zbl 1003.68104号 芬丹。通知。 51,编号1-2,121-133(2002)。MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{I.A.Lomazova},芬丹。通知。51,编号1--2,121-133(2002;Zbl 1003.68104)
安娜·戈莫林斯卡 一些广义粗糙近似的比较研究。 (英语) Zbl 1023.03050号 芬丹。通知。 51,编号1-2,103-119(2002)。 审核人:JerzyŻurawiecki(卢布林) MSC公司:03E70型 68层37 PDF格式BibTeX公司 XML格式引用 \textit{A.Gomoliáska},芬丹。通知。51,编号1--2,103-119(2002;Zbl 1023.03050)
伯恩特·法尔 对象Petri网的动态修改。一个应用程序,用于建模具有叉关节结构的协议。 (英语) Zbl 1003.68103号 芬丹。通知。 51,编号1-2,91-101(2002)。MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{B.Farwer},芬达姆。通知。51,编号1--2,91-101(2002;Zbl 1003.68103)
彼得登宾斯基;沃伊切赫·彭泽克;阿加塔·波罗拉 基于相似性的时间自动机验证。 (英语) Zbl 1003.68102号 芬丹。通知。 51,编号1-2,59-89(2002)。MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{P.Dembian ski}等人,Fundam。通知。51,编号1--2,59-89(2002;Zbl 1003.68102)
路德威克·查贾 放置/转换Petri网进化:记录方式、分析和合成。 (英语) Zbl 1003.68101号 芬丹。通知。 51,编号1-2,43-58(2002)。MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{L.Czaja},芬丹。通知。51,编号1--2,43-58(2002;Zbl 1003.68101)
波诺,薇薇安娜;Jerzy Tiuryn 产品和多态性亚型。 (英语) Zbl 1055.03019号 芬丹。通知。 51,编号1-2,13-41(2002)。MSC公司:03B70号 05年3月 03B25号 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{V.Bono}和\textit{J.Tiuryn},Fundam。通知。51,编号1--2,13-41(2002;Zbl 1055.03019)
罗伯托·巴布蒂;尼科莱塔·德·弗朗西斯科;安东内拉·桑顿;卢卡·特塞 时间自动机的不干涉概念。 (英语) 兹比尔1003.68100 芬丹。通知。 51,编号1-2,1-11(2002)。MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{R.Barbuti}等人,基金会。通知。51,编号1--2,1--11(2002;Zbl 1003.68100)
路德威克·查贾(编辑);汉斯·迪特·伯克哈德(编辑);彼得·斯塔克(编辑) 特刊:并发、规范和编程(CS&P)研讨会。论文选集,波兰华沙,2001年10月3日至5日。 (英语) Zbl 0996.00045号 芬丹。通知。 51,第1-2期,250页(2002年)。MSC公司:00B25型 68-06 PDF格式BibTeX公司 XML格式引用 \textit{L.Czaja}(编辑)等,Fundam。通知。51,No.1--2,250~p.(2002;Zbl 0996.00045)