×

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

最新的 引文 关联
Ekkart Kindler公司；托拜厄斯Vesper

ESTL：事件和状态的时序逻辑。 （英语） Zbl 1510.68042号

Desel，Jörg（编辑）等人，《Petri网的应用和理论》，1998年。1998年6月22日至26日，第19届国际会议，ICATPN'98，葡萄牙里斯本。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1420, 365-384 (1998).
MSC公司：60年第68季度 03B44号 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{E.Kindler}和\textit{T.Vesper}，莱克特。注释计算。科学。1420365-384（1998年；Zbl 1510.68042）
全文： 内政部
Ekkart Kindler公司；哈根·沃尔泽

代数网的灵活性。 （英语） Zbl 1523.68043号

Desel，Jörg（编辑）等人，《Petri网的应用和理论》，1998年。1998年6月22日至26日，第19届国际会议，ICATPN'98，葡萄牙里斯本。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1420, 345-364 (1998).
MSC公司：68问题85 60年第68季度 68宽15
PDF格式BibTeX公司 XML格式引用
\textit{E.Kindler}和\textit{H.Völzer}，莱克特。注释计算。科学。1420、345--364（1998年；Zbl 1523.68043）
全文： 内政部 链接
汉斯·弗利什哈克；伯恩德·格雷曼

SDL的一种组合Petri网语义。 （英语） Zbl 1510.68056号

Desel，Jörg（编辑）等人，《Petri网的应用和理论》，1998年。第19届国际会议，ICATPN’98，葡萄牙里斯本，1998年6月22日至26日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1420, 144-164 (1998).
MSC公司：68问题85 68问题55 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{H.Fleischhack}和\textit{B.Grahlmann}，莱克特。注释计算。科学。1420、144--164（1998年；Zbl 1510.68056）
全文： 内政部
扎哈罗夫，V.A。；北卡罗来纳州Thuang。；D.V.班。；当文雄（Dang Van Hung）

根据Petri网转换触发序列重建过程网。 （英语。俄文原件） Zbl 0965.68057号

莫斯科。大学计算机。数学。赛博。 1998年，第2期，49-54（1998）; 由Vestn翻译。莫斯科。州立大学。XV 1998，第2期，31-34（1998）。
审核人：谢尔盖·乔治·朱拉夫列夫（莫斯科）
MSC公司：68问题85 68兰特 68问题55 68米10
PDF格式BibTeX公司 XML格式引用
\textit{V.A.Zakharov}等人，Mosc。大学计算机。数学。赛博。1998年，第2、1号（1998；Zbl 0965.68057）；由Vestn翻译。莫斯科。州立大学。XV 1998，第2、31-34号（1998年）
博齐安，Z。；芬克尔，A。

交换半群和可逆Petri网的等价问题在对数线性可约的指数空间中是完全的。 （英语） Zbl 0964.03040号

Shum，Kar Ping（编辑）等人，《半群》。半群及其相关主题国际会议论文，中国昆明，1995年8月18日至23日。新加坡：斯普林格。63-76 (1998).
MSC公司：2015年3月1日 03D40号 2014年11月20日 2005年5月20日 65年第68季度 2017年第68季度 68问题85 03年3月
PDF格式BibTeX公司 XML格式引用
\textit{Z.Bouziane}和\textit{A.Finkel}，in：半群。半群及其相关主题国际会议论文，中国昆明，1995年8月18-23日。新加坡：斯普林格。63-76（1998年；兹bl 0964.03040）
凯里提斯，科斯塔斯；斯特凡尼亚斯（Stefaneas，Petros）

程序的Petri网、树和拓扑通用覆盖。 （英语） Zbl 0952.68102号

Lipitakis，Elias A.（编辑），HERCMA’98。第四届希腊-欧洲计算机数学及其应用会议论文集。希腊雅典，1998年9月24日至26日。2卷。雅典：LEA，雅典经济与商业大学，信息学系。875-880 (1998).
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{C.Kyritsis}和\textit{P.Stefaneas}，收录于：HERCMA’98。第四届希腊-欧洲计算机数学及其应用会议论文集。希腊雅典，1998年9月24日至16日。2卷。雅典：LEA，雅典经济与商业大学，信息学系。875--880（1998年；Zbl 0952.68102）
马蒂亚斯·贝克尔；海伦娜·斯泽比卡

PNiQ–广义随机Petri网，包括排队网络。 （英语） Zbl 0941.68093号

Dayar，T.（编辑）等人，《计算机和信息科学进展》，98年。第13届计算机与信息科学研讨会（ISCIS’98）会议记录。1998年10月26日至28日，土耳其贝莱克·安塔利亚。阿姆斯特丹：IOS出版社。并发系统。工程服务。53, 110-117 (1998).
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit｛M.Becker｝和\textit｛H.Szczerbicka｝，并发系统。工程服务。53、110-117（1998年；Zbl 0941.68093）
安德拉斯·霍瓦思；安东尼奥·普利亚菲托；马可·斯卡帕；米克洛斯·特莱克；奥拉齐奥·托马齐奥

基于WEB的非马尔可夫随机Petri网工具的设计与实现。 （英语） Zbl 0941.68092号

Dayar，T.（编辑）等人，《计算机和信息科学进展》，98年。第13届计算机与信息科学研讨会（ISCIS’98）会议记录。1998年10月26日至28日，土耳其贝莱克·安塔利亚。阿姆斯特丹：IOS出版社。并发系统。工程服务。531101-109（1998）中描述。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{A.Horváth}等人，《并发系统》。工程服务。53、101--109（1998年；Zbl 0941.68092）
沃尔特·福格勒；亚历克斯·塞梅诺夫；亚历克斯·雅科夫列夫

具有读取弧的网络的展开和有限前缀。 （英语） Zbl 0940.68096号

Sangiorgi，Davide（编辑）等人，CONCUR’98。并发理论。第九届国际会议，法国尼斯，1998年9月8日至11日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1466, 501-516 (1998).
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{W.Vogler}等人，Lect。注释计算。科学。1466501--516（1998年；Zbl 0940.68096）
帕罗什·阿齐兹·阿卜杜拉；卡利斯·采拉人

单计数器网络的模拟是可判定的（扩展抽象）。 （英语） Zbl 0940.68055号

Sangiorgi，Davide（编辑）等人，CONCUR’98。并发理论。第九届国际会议，法国尼斯，1998年9月8日至11日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1466, 253-268 (1998).
MSC公司：第68季度10
PDF格式BibTeX公司 XML格式引用
\textit{P.A.Abdulla}和\textit{K.采拉斯}，莱克特。注释计算。科学。1466253--268（1998年；Zbl 0940.68055）
尼古拉·福塔；穆罕默德·卡尼切；卡拉马卡农

用于建立可靠性建模的随机Petri网的增量方法。 （英语） Zbl 1075.68559号

Ionescu，D.C.（编辑）等人，《可靠性中的统计和概率模型》。第一届可靠性数学方法国际会议。1997年9月16日至19日，罗马尼亚布加勒斯特。巴塞尔：Birkhä用户（ISBN 3-7643-4068-1）。《工业和技术统计》，321-335（1998年）。
MSC公司：68平方米 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{N.Fota}等人，in：可靠性的统计和概率模型。第一届可靠性数学方法国际会议。1997年9月16日至19日，罗马尼亚布加勒斯特。巴塞尔：Birkhäuser。321--335（1998年；Zbl 1075.68559）
罗伯托·布鲁尼；何塞·梅塞盖尔；乌戈·蒙塔纳里；弗拉迪米罗·萨松

集体标记哲学下Petri网语义的比较。 （英语） Zbl 0932.68062号

Xiang，Jieh（编辑）等，《计算科学进展——1998年亚洲》。第四届亚洲计算科学会议，菲律宾马尼拉，1998年12月8日至10日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1538, 225-244 (1998).
MSC公司：68问题55 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{R.Bruni}等人，Lect。注释计算。科学。1538225-244（1998年；Zbl 0932.68062）
尼尔森，莫根斯；弗拉迪米罗·萨松

Petri网和其他并发模型。 （英语） Zbl 0926.68089号

Reisig，Wolfgang（编辑）等人，《Petri网讲座》。1：基本模型。Petri网的进展。柏林：斯普林格。莱克特。注释计算。科学。1491, 587-642 (1998).
MSC公司：68问题85 18B20型 第68季度10
PDF格式BibTeX公司 XML格式引用
\textit{M.Nielsen}和\textit{V.Sassone}，莱克特。注释计算。科学。1491、587--642（1998年；Zbl 0926.68089）
卡马尔·洛达亚；韦尔·帕斯卡

并行的Kleene迭代。 （英语） Zbl 0932.68060号

Arvind，V.（编辑）等人，《软件技术和理论计算机科学基础》。第十八届会议，印度钦奈，1998年12月17日至19日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1530, 355-366 (1998).
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{K.Lodaya}和\textit{P.Weil}，莱克特。注释计算。科学。1530、355--366（1998年；Zbl 0932.68060）
多米尼克·拉切·温德林（Dominique Larchey-Wendling）；迪迪埃·加米歇

从Petri网的新解释看直觉线性逻辑的可证明性。（扩展摘要）。 （英语） Zbl 0917.68158号

Galmiche，Didier（编辑），类型理论语言中的证明搜索研讨会（结合CADE-15会议），德国林道，1998年7月5日。阿姆斯特丹：爱思唯尔，理论计算机科学电子笔记。17，电子文件第6号（1998年）。
MSC公司：68问题85 68吨15
PDF格式BibTeX公司 XML格式引用
\textit{D.Larchey-Wendling}和\textit{D.Galmiche}，in：类型理论语言证明搜索研讨会（结合CADE-15会议），德国林道，1998年7月5日。阿姆斯特丹：爱思唯尔。第6号电子文件（1998；Zbl 0917.68158）
全文： 链接
H.C.M.克莱因。；R.莫林。；罗佐伊，B。

本地跟踪的事件结构。 （英语） Zbl 0917.68157号

Castellani，Ilaria（编辑）等人，98年EXPRESS。1998年9月7日在法国尼斯举行的第五届并发表达国际研讨会。阿姆斯特丹：爱思唯尔，理论计算机科学电子笔记。16.2，电子文件第5号（1998年）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{H.C.M.Kleijn}等人，in：EXPRESS’98。1998年9月7日在法国尼斯举行的第五届并发表达国际研讨会。阿姆斯特丹：爱思唯尔。电子文件第5号（1998；Zbl 0917.68157）
全文： 链接
阿格萨里亚语，Armen；埃里克·法布雷；阿尔伯特·本文尼斯特；雷内·鲍博；克洛德·贾德

分布式系统中的故障检测和诊断：部分随机Petri网方法。 （英语） Zbl 0916.93074号

离散事件动态。系统。 8，第2期，203-231（1998）.
审核人：K.Marti（诺伊比伯格）
MSC公司：93E10型 93立方 90秒25 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{A.Aghasaryan}等人，离散事件动力学。系统。8，第2号，203--231（1998；Zbl 0916.93074）
全文： 内政部
F.加杜奇。；美国蒙塔纳里。

上下文网络进程的公理。 （英语） Zbl 0912.68142号

Larsen，Kim G.（编辑）等人，《自动化，语言和编程》。第25届国际学术讨论会，ICALP’98。1998年7月13日至17日，丹麦奥尔堡。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1443, 296-308 (1998).
MSC公司：68问题85 18日第10天
PDF格式BibTeX公司 XML格式引用
\textit{F.Gadducci}和\textit{U.Montanari}，莱克特。注释计算。科学。1443、296--308（1998年；Zbl 0912.68142）
杜富尔德，C。；芬克尔，A。；Schnoebelen博士。

在可判定性和不可判定性之间重置网络。 （英语） Zbl 0909.68124号

Larsen，Kim G.（编辑）等人，《自动化，语言和编程》。第25届国际学术讨论会，ICALP’98。1998年7月13日至17日，丹麦奥尔堡。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1443, 103-115 (1998).
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{C.Dufourd}等人，Lect。注释计算。科学。1443、103--115（1998年；Zbl 0909.68124）
约翰·O·穆迪。；Antsaklis，Panos J。

使用Petri网对离散事件系统进行监控。 （英语） 兹比尔0944.93001

Kluwer离散事件动态系统国际系列. 12. 波士顿：Kluwer学术出版社。xvii，185 p.干膜厚度260.00；$115.00; £78.25 (1998).
审核人：A.Akutowicz（柏林）
MSC公司：93-02 68-02 90秒25 93元65角 90立方厘米 93甲13 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{J.O.Moody}和\textit{P.J.Antsaklis}，使用Petri网对离散事件系统进行监督控制。波士顿：Kluwer学术出版社（1998；Zbl 0944.93001）
德塞尔，约格

Petri网、线性代数和线性规划。系统模型的分析、验证和正确性证明。（Petrinetze，线性代数和线性编程。分析、验证和Korrektheitsbeeise von Systemmodellen。） （德语） 兹比尔0909.68100

Teubner-Texte zur Informatik公司. 26. 莱比锡：特伯纳。133 S.（1998）。
审核人：M.Jantzen（汉堡）
MSC公司：65年第68季度 68-01 68问题85 2004年11月 11年50 68T20型 68宽10
PDF格式BibTeX公司 XML格式引用
\textit{J.Desel}，Petrinetze，线性代数和线性编程。分析、验证和Korrektheitsbeese von Systemmodellen。莱比锡：Teubner（1998；Zbl 0909.68100）
彼得·里特根

调度的过程理论。过程、资源限制和时间的代数建模。（Prozeßtheorie der Ablaufplanung.代数建模师von Prozessen，Ressourcerestiktionen und Zeit） （德语） 兹比尔0910.68015

Teubner-Reihe Wirtschaftsinformatik公司。莱比锡：特伯纳。260 S.DM 66.00；öS 482.00；法语。59.00 (1998).
审核人：J.Martyna（克拉科夫）
MSC公司：68平方米 68-01 68问题85 60年第68季度 68问题65
PDF格式BibTeX公司 XML格式引用
\textit{P.Rittgen}，Prozeßtheorie der Ablaufplanung。Algebraische Modellierung von Prozessen，Ressourcerestiktionen und Zeit。莱比锡：Teubner（1998；Zbl 0910.68015）
理查德·赖；阿津Jirachiefpatana

通信协议规范和验证。 （英语） Zbl 0914.68133号

Kluwer国际工程与计算机科学系列. 464. 多德雷赫特：Kluwer学术出版社。304 p.英国国防部。320.00美元139.95; £95.25 (1998).
审核人：T.Jeron（雷恩）
MSC公司：60年第68季度 68-01
PDF格式BibTeX公司 XML格式引用
\textit{R.Lai}和\textit{A.Jirachiefpatana}，通信协议规范和验证。多德雷赫特：Kluwer学术出版社（1998；Zbl 0914.68133）
阿塔纳索夫，克拉西米尔·托多罗夫

人工智能中的广义网。第1卷：广义网络和专家系统。 （英语） Zbl 0902.68135号

索非亚：保加利亚科学院出版社。141页（1998年）。
审核人：N.Zlatareva（新不列颠）
MSC公司：68问题85 68-02 68层35
PDF格式BibTeX公司 XML格式引用
\textit{K.T.Atanassov}，人工智能中的广义网。第1卷：广义网络和专家系统。索非亚：保加利亚科学院出版社（1998；Zbl 0902.68135）
雷纳特·克莱姆皮恩·亨里克斯

通过回调重写进行网络优化。 （英语） Zbl 0901.68142号

莫里斯·尼瓦特（编辑），《软件科学和计算结构基础》。第一届国际会议，FoSSaCS’98。1998年3月28日至4月4日，作为欧洲软件理论与实践联合会议（ETAPS'98）的一部分，在葡萄牙里斯本举行。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1378, 189-202 (1998).
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\文本{R.Klempien Hinrichs}，勒克特。注释计算。科学。1378189--202（1998年；Zbl 0901.68142）
盖伊·科恩；圣埃芬·高伯特；Jean-Pierre Quadrat公司

定时Petri网的代数系统分析。 （英语） Zbl 0897.68069号

Jeremy Gunawardena（编辑），Idempotency。基于研讨会，英国布里斯托尔，1994年10月3日至7日，剑桥：剑桥大学出版社。145-170 (1998).
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{G.Cohen}等人，in：幂等性。基于1994年10月3日至7日在英国布里斯托尔举行的研讨会。剑桥：剑桥大学出版社。145-170（1998年；Zbl 0897.68069）

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前3名

主字段

全部的 前3名

软件