×

找到69个文档(结果1–69)

基于Petri网的电空系统跟踪控制。 (英语) Zbl 07765489号

Madani,Kurosh(编辑)等人,ICINCO 2018。第十五届控制、自动化和机器人信息学国际会议记录,葡萄牙波尔图,2018年7月29日至31日。分2卷。塞图巴尔:SCITEPRESS–科技出版物。344-354,第1卷(2018年)。
MSC公司:93元65角 93个B05
PDF格式BibTeX公司 XML格式引用
全文: 内政部

结构良好的过渡系统的规则可分性。 (英语) Zbl 1520.68092号

Schewe,Sven(编辑)等人,第29届并发理论国际会议。CONCUR 2018,中国北京,2018年9月4-7日。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。118,第35条,第18页(2018年)。
PDF格式BibTeX公司 XML格式引用

使用贝叶斯网络更新条件/事件网络上的概率知识。 (英语) Zbl 1520.68090号

Schewe,Sven(编辑)等人,第29届并发理论国际会议。CONCUR 2018,中国北京,2018年9月4-7日。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。118,第27条,第17页(2018年)。
PDF格式BibTeX公司 XML格式引用

具有有序数据的线性方程组。 (英语) Zbl 1520.68094号

Schewe,Sven(编辑)等人,第29届并发理论国际会议。CONCUR 2018,中国北京,2018年9月4-7日。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。118,第24条,第17页(2018年)。
MSC公司:68问题85
PDF格式BibTeX公司 XML格式引用

无恒等Kleene格的完备性。 (英语) Zbl 1520.68055号

Schewe,Sven(编辑)等人,第29届并发理论国际会议。CONCUR 2018,中国北京,2018年9月4-7日。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。118,第18条,第17页(2018年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

缩小了合成基本网络系统的硬度屏障。 (英语) Zbl 1520.68100号

Schewe,Sven(编辑)等人,第29届并发理论国际会议。CONCUR 2018,中国北京,2018年9月4-7日。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。118,第16条,第15页(2018年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

定时Petri网的通用安全是PSPACE完整的。 (英语) Zbl 1520.68085号

Schewe,Sven(编辑)等人,第29届并发理论国际会议。CONCUR 2018,中国北京,2018年9月4-7日。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。118,第6条,第15页(2018年)。
PDF格式BibTeX公司 XML格式引用

发现“粘合”连接活动。利用单调性更快地学习地点。 (英语) Zbl 1462.68164号

de Boer,Frank(编辑)等人,这都是关于协调的。为庆祝Farhad Arbab毕生的科学成就而撰写的论文。查姆:斯普林格。莱克特。注释计算。科学。10865, 1-20 (2018).
MSC公司:68T05型 68问题85
PDF格式BibTeX公司 XML格式引用
全文: 内政部

用于指定和验证基于微服务的流程流的正式框架。 (英语) Zbl 1461.68112号

Cerone,Antonio(编辑)等人,《软件工程和形式化方法》。2017年SEFM并置研讨会:2017年9月4日至5日,意大利特伦托,DataMod、FAACS、MSE、CoSim-CPS和FOCLASA。修订了选定的论文。查姆:斯普林格。莱克特。注释计算。科学。10729187-202(2018年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

并发性和概率:从组成上消除混淆。 (英语) Zbl 1497.68329号

2018年第33届ACM/IEEE计算机科学逻辑研讨会论文集,2018年7月9日至12日,英国牛津,LICS 2018。纽约州纽约市:计算机协会(ACM)。195-204 (2018).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

分布式环境中的合成。 (英语) Zbl 1491.68121号

Lokam,Satya(编辑)等人,第37届IARCS软件技术和理论计算机科学基础年会,FSTTCS 2017,印度坎普尔IIT,2017年12月12-14日。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。93,第28条,第14页(2018年)。
MSC公司:68问题85 91A80型
PDF格式BibTeX公司 XML格式引用

Petri网可解二进制字的一个有效特征。 (英语) Zbl 1427.68189号

Khomenko,Victor(编辑)等人,Petri网和并发的应用和理论。第39届国际会议,PETRI NETS 2018,斯洛伐克布拉迪斯拉发,2018年6月24-29日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。10877, 207-226 (2018).
MSC公司:68问题85 68兰特
PDF格式BibTeX公司 XML格式引用
全文: 内政部

Petri网可解转移系统的因子分解。 (英语) Zbl 1427.68192号

Khomenko,Victor(编辑)等人,Petri网和并发的应用和理论。第39届国际会议,PETRI NETS 2018,斯洛伐克布拉迪斯拉发,2018年6月24-29日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。10877, 82-98 (2018).
MSC公司:68问题85
PDF格式BibTeX公司 XML格式引用
全文: 内政部

加权标记图Petri网的分析与综合。 (英语) Zbl 1427.68191号

Khomenko,Victor(编辑)等人,Petri网和并发的应用和理论。第39届国际会议,PETRI NETS 2018,布拉迪斯拉发,斯洛伐克,2018年6月24-29日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。10877, 19-39 (2018).
MSC公司:68问题85
PDF格式BibTeX公司 XML格式引用
全文: 内政部 哈尔

设计IT基础设施。 (英语。俄文原件) Zbl 1407.68049号

赛博。系统。分析。 54,第6号,977-992(2018); 翻译自Kibern。修女。分析。2018年第6期,141-158(2018)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

自动将带有定性标记的有色Petri网转换为带有定量标记的有色Petri网。 (英语。俄文原件) Zbl 1445.68141号

赛博。系统。分析。 54,第4期,650-661(2018); 翻译自Kibern。修女。分析。2018年,第4期,151-163(2018)。
MSC公司:68问题85
PDF格式BibTeX公司 XML格式引用
全文: 内政部

Büchi VASS识别\(\mathbf{\ Sigma}^{1}_{1} \)-完整\({\omega}\)-语言。 (英语) Zbl 1475.68214号

Potapov,Igor(编辑)等人,《可达性问题》。2018年9月24日至26日在法国马赛举行的RP 2018第12届国际会议。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。11123, 133-145 (2018).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

用于改善WSN中的能量消耗和延迟的两个阈值工作休假策略。 (英语) Zbl 1397.90106号

Takahashi,Yutaka(编辑)等,排队论和网络应用。2018年7月25日至27日在日本筑波举行的2018年QTNA第13届国际会议。诉讼程序。查姆:施普林格(ISBN 978-3-319-93735-9/pbk;978-3-3169-93736-6/电子书)。计算机科学课堂讲稿10932,168-181(2018)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

限制子类网的超逼近Petri网综合。 (英语) Zbl 1504.68147号

Klein,Shmuel Tomi(编辑)等人,《语言和自动机理论与应用》。2018年4月9日至11日,第12届国际会议,LATA 2018,以色列拉马特甘。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。10792, 296-307 (2018).
MSC公司:68问题85
PDF格式BibTeX公司 XML格式引用
全文: 内政部

可重构Petri网概述。 (英语) Zbl 1383.68056号

Heckel,Reiko(编辑)等人,《图形转换、规范和网络》。为了纪念哈特穆特·埃里格。查姆:施普林格(ISBN 978-3-319-75395-9/pbk;978-3-3169-75396-6/电子书)。《计算机科学讲义》10800201-222(2018)。
MSC公司:68问题85
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

传记参考