×

找到89个文档(结果1-89)

随机力学中的量子技术。 (英语) Zbl 1405.81005号

新泽西州哈肯萨克:世界科学(ISBN 978-981-3226-93-7/hbk;978-981-3 226-96-8/电子书)。xii,第263页。(2018).
PDF格式BibTeX公司 XML格式引用

Petri对象模拟的并行算法。 (英语。俄文原件) Zbl 1383.93047号

赛博。系统。分析。 53,第4号,605-614(2017); 翻译自Kibern。修女。分析。2017年,第4期,130-140(2017)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

稳态和时间无界时间算子的模拟模型检查。 (英语) 兹比尔1394.68236

Koutny,Maciej(编辑)等人,《Petri网和其他并发模型事务》VIII。柏林:施普林格出版社(ISBN 978-3-642-40464-1/pbk)。计算机科学8100课堂讲稿。《Subline期刊》,142-158(2013)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

将同步与优先级集成到Kronecker表示中。 (英语) Zbl 0962.68119号

Haverkort,Boudewijn R.(编辑)等人,《计算机性能评估》。建模技术和工具。第11届国际会议,TOOLS 2000,美国伊利诺伊州绍姆堡,2000年3月27日至31日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1786, 203-215 (2000).
MSC公司:68问题85 68平方米
PDF格式BibTeX公司 XML格式引用

非马尔可夫随机Petri网的分析与评价。 (英语) 兹伯利0967.68114

Haverkort,Boudewijn R.(编辑)等人,《计算机性能评估》。建模技术和工具。第11届国际会议,TOOLS 2000,美国伊利诺伊州绍姆堡,2000年3月27日至31日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1786年、171-187年(2000年)。
MSC公司:68问题85 68平方米
PDF格式BibTeX公司 XML格式引用

几类随机Petri网的不变性原理。 (西班牙语) Zbl 1010.60032号

Madaune-Tort,Monique(编辑)等人,《第五届萨拉戈萨-巴布应用数学和统计会议论文集》,西班牙雅加,1997年9月15日至16日。萨拉戈萨:萨拉戈萨大学。出版物。塞明。马特·加西亚·德·加尔迪亚诺(Mat.García de Galdeano),二级联赛。20, 453-460 (1999).
PDF格式BibTeX公司 XML格式引用

基于Petri网的柔性制造启发式调度。 (英语) Zbl 0868.90059号

周梦初(编辑),《灵活敏捷自动化中的Petri网》。多德雷赫特:Kluwer学术出版社。Kluwer国际服务。工程计算。科学。310, 149-187 (1995).
PDF格式BibTeX公司 XML格式引用

在马尔可夫再生随机Petri网分析中利用同构和特殊结构。 (英语) Zbl 0862.60080号

Stewart,William J.(编辑),《马尔可夫链计算》。第二届马尔可夫链数值解国际研讨会论文集,罗利,北卡罗来纳州,美国,1995年1月16日至18日。马萨诸塞州波士顿:Kluwer学术出版社。383-402 (1995).
PDF格式BibTeX公司 XML格式引用

并发广义Petri网。 (英语) Zbl 0870.60090号

Stewart,William J.(编辑),《马尔可夫链计算》。第二届马尔可夫链数值解国际研讨会论文集,罗利,北卡罗来纳州,美国,1995年1月16日至18日。马萨诸塞州波士顿:Kluwer学术出版社。359-382 (1995).
PDF格式BibTeX公司 XML格式引用

Petri网在制造系统中的应用。建模、控制和性能分析。 (英语) Zbl 0861.90062号

新泽西州皮斯卡塔韦:IEEE出版社。xviii,第348页(1995年)。
PDF格式BibTeX公司 XML格式引用

大型马尔可夫链的并行多级求解方法。 (英语) Zbl 0838.65145号

David E.Keyes(编辑)等人,《计算科学和工程中基于域的并行和问题分解方法》,宾夕法尼亚州费城:SIAM。125-139 (1995).
PDF格式BibTeX公司 XML格式引用

随机时间Petri网的性能边界。 (英语) Zbl 1496.68240号

De Michelis,Giorgio(编辑)等人,Petri网的应用和理论,1995年。第十六届国际会议,1995年6月26日至30日,意大利都灵。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。935,316-334(1995年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

关于一类具有替代生产路线的装配系统的控制。 (英语) Zbl 0833.90064号

Cohen,Guy(编辑)等人,第11届系统分析和优化国际会议:离散事件系统。索菲亚·安蒂波利斯,法国,1994年6月15日至17日。柏林:Springer-Verlag。莱克特。票据控制信息科学。199, 593-599 (1994).
PDF格式BibTeX公司 XML格式引用

具有决策者的复杂系统。1990年3月19日至20日在京都大学数学科学研究所举行的研讨会记录。 (日语、英语) 兹比尔08389.0056

PDF格式BibTeX公司 XML格式引用

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段