×

找到239个文档（结果1-100）

最新的 引文 关联
奥尔德罗格（Ernst-Rüdiger Olderog）；Steffen，伯恩哈德；易、王

模型检查、综合和学习。 （英语） Zbl 1522.68339号

Olderog、Ernst-Rüdiger（编辑）等人，《模型检查、综合和学习》。在本特·琼森60岁生日之际为他撰写的论文。查姆：斯普林格。莱克特。注释计算。科学。13030, 1-7 (2022).
MSC公司：60年第68季度 68问题32 65年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{E.-R.Olderog}等人，Lect。注释计算。科学。13030，1--7（2022；Zbl 1522.68339）
全文： 内政部
塔拉修克，伊戈尔·瓦莱里耶维奇

随机过程代数dtsdPBC中的性能评估。 （英语） Zbl 1482.68156号

同胞。È勒克特隆。Mat.Izv公司。 18，编号2，1105-1145（2021）.
审核人：艾哈迈特·库萨诺夫（Komsomolsk-om-Amur）
MSC公司：68问题85 60J10型 60J20型 60 K15 68平方米 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{I.V.Tarasyuk}，Sib。È勒克特隆。Mat.Izv公司。18，编号2，1105--1145（2021；Zbl 1482.68156）
全文： 内政部
雷蒙德·魔鬼队；埃罗菲耶夫·叶夫根尼；托马斯·胡贾萨

加权标记图与循环可达图的有效综合，以及其他。 （英语） 兹比尔1464.68236

Koutny，Maciej（编辑）等人，《Petri网和其他并发模型事务》十五。柏林：斯普林格。莱克特。注释计算。科学。12530, 75-100 (2021).
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit｛R.Devillers｝等人，Lect。注释计算。科学。12530，75-100（2021；Zbl 1464.68236）
全文： 内政部 arXiv公司
朱利奥·马塞蒂；莱昂纳多·机器人；西尔瓦诺·恰拉多纳；费利西塔·迪·詹多梅尼科

通过Kronecker代数和指数和对大型相互依赖组合模型进行随机评估。 （英语） Zbl 07796210号

Donatelli，Susanna（编辑）等人，《Petri网和并发的应用和理论》。第40届国际会议，2019年6月23日至28日，德国亚琛，PETRI NETS 2019，会议记录。查姆：斯普林格。莱克特。注释计算。科学。11522, 47-66 (2019).
MSC公司：68问题85 60J20型
PDF格式BibTeX公司 XML格式引用
\textit{G.Masetti}等人，Lect。注释计算。科学。11522，47-66（2019；Zbl 07796210）
全文： 内政部 链接
埃里克·卢巴特；达尔·齐利奥（Dal Zilio，Silvano）；迪迪埃·勒·波特兰；扬尼克·彭科尔；奥迪·苏比亚斯

用于计算时间Petri网语言交集的状态类构造。 （英语） Zbl 1434.68331号

安德烈，埃蒂安（编辑）等，时间系统的形式化建模和分析。2019年8月27日至29日，荷兰阿姆斯特丹，第17届国际会议，FORMATS 2019。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11750, 79-95 (2019).
MSC公司：68问题85 64岁以下 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{埃利·卢巴特}等人，Lect。注释计算。科学。11750、79-95（2019年；Zbl 1434.68331）
全文： 内政部 arXiv公司
乌特卡什古普塔；Preey Shah；阿克西，S。；彼得·霍夫曼

无序数据Petri网的连续可达性以PTime表示。 （英语） Zbl 1524.68217号

Bojañczyk，Mikołaj（编辑）等人，《软件科学和计算结构基础》。第22届国际会议FOSSACS 2019，作为欧洲软件理论与实践联合会议的一部分，于2019年4月6日至11日在捷克共和国布拉格举行。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11425, 260-276 (2019).
MSC公司：68问题85 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{U.Gupta}等人，Lect。注释计算。科学。11425260-276（2019年；兹比尔1524.68217）
全文： 内政部 arXiv公司
卡米利、马蒂奥；卡洛·贝莱蒂尼；洛伦佐·卡普拉；蒙加，马蒂亚

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

Cerone，Antonio（编辑）等人，《软件工程和形式化方法》。SEFM 2017同期研讨会：2017年9月4日至5日，意大利特伦托，DataMod、FAACS、MSE、CoSim CPS和FOCLASSA。修改选定的论文。查姆：斯普林格。莱克特。注释计算。科学。10729, 187-202 (2018).
MSC公司：60年第68季度 68问题55 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{M.Camilli}等人，Lect。注释计算。科学。10729187--202（2018；Zbl 1461.68112）
全文： 内政部
马可·比亚吉；劳拉·卡内瓦利；马尔科·保列里；托马索·帕皮尼；恩里科·比卡里奥

在马尔可夫再生过程瞬态解技术集成中利用非确定性分析。 （英语） Zbl 1420.68143号

Bertrand，Nathalie（编辑）等人，《系统的定量评估》。2017年9月5-7日在德国柏林举行的2017年QEST第14届国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10503, 20-35 (2017).
MSC公司：68问题85 60J20型 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit｛M.Biagi｝等人，Lect。注释计算。科学。10503，20--35（2017；Zbl 1420.68143）
全文： 内政部
Leonid W.德沃赞斯基。

具有有限紧急性的嵌套Petri网的一致时间语义。 （英语） Zbl 1433.68249号

Fränzle，Martin（编辑）等人，《时间系统的形式化建模和分析》。2016年8月24日至26日，加拿大魁北克省魁北克FORMATS 2016第14届国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9884, 3-18 (2016).
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{L.W.Dworzanski}，莱克特。注释计算。科学。9884，3-18（2016；Zbl 1433.68249）
全文： 内政部
伊凡·埃姆齐瓦特；贝诺·德拉哈耶；莱姆，迪迪埃；奥利维尔·H·鲁克斯。

概率时间Petri网。 （英语） Zbl 1346.68131号

Kordon，Fabrice（ed.）等人，Petri网和并发的应用和理论。第37届国际会议，PETRI NETS 2016，波兰托伦，2016年6月19-24日。诉讼程序。查姆：施普林格（ISBN 978-3-319-39085-7/pbk；978-3-3169-39086-4/电子书）。计算机科学讲座笔记9698，261-280（2016）。
MSC公司：68问题85 87年第68季度 90立方厘米
PDF格式BibTeX公司 XML格式引用
\textit{Y.Emzivat}等人，Lect。注释计算。科学。9698，261--280（2016；Zbl 1346.68131）
全文： 内政部
莫尼卡·海纳；马丁·施瓦里克；詹·蒂埃里·韦格纳

Charlie–一个可扩展的Petri网分析工具。 （英语） Zbl 1432.68309号

Devillers，Raymond（编辑）等人，Petri网和并发的应用和理论。第36届国际会议，PETRI NETS 2015，比利时布鲁塞尔，2015年6月21日至26日，会议记录。查姆：斯普林格。莱克特。注释计算。科学。9115, 200-211 (2015).
MSC公司：68问题85 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Heiner}等人，Lect。注释计算。科学。9115200--211（2015；Zbl 1432.68309）
全文： 内政部
塔拉修克，I。；马西娅，H。；瓦伦丁·瓦莱罗

代数dtsiPBC中并发系统的性能分析。 （英语。俄文原件） Zbl 1339.68033号

程序。计算。柔和。 40，第5期，229-249（2014）; 译自Programmirovanie 40，No.5（2014）。
MSC公司：68平方米 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{I.Tarasyuk}等人，《计划》。计算。柔和。40，第5号，229--249（2014；Zbl 1339.68033）；译自Programmirovanie 40，No.5（2014）
全文： 内政部
凯斯·克莱；奈姆·亚伯；劳蕾·佩特鲁奇

时间Petri网可达性的验证。 （英语） Zbl 1407.68293号

Abdulla，Parosh Aziz（编辑）等，《可达性问题》。第7届国际研讨会，RP 2013，瑞典乌普萨拉，2013年9月24日至26日会议记录。柏林：斯普林格。莱克特。注释计算。科学。第8169页，第159-170页（2013年）。
MSC公司：60年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{K.Klai}等人，Lect。注释计算。科学。8169159--170（2013；Zbl 1407.68293）
全文： 内政部
费尔南多·普恩特·莱昂；乌韦·肯克

离散事件系统。分布式系统的建模和控制。第三版完全修订和补充。（Ereignisdiskrete系统。Modellierung和Steuerung verteilter系统。） （德语） Zbl 1312.93002号

慕尼黑：奥尔登堡出版社（ISBN 978-3-486-73574-1/pbk；978-3-486-76971-5/电子书）。xvi，第526页。(2013).
审核人：Tiit Riismaa（塔林）
MSC公司：2001年3月 93元65角 60K25码 60J05型 37号35 00A71号
PDF格式BibTeX公司 XML格式引用
\textit{F.Puente León}和\textit{U.Kiencke}，Ereignisdiskrete Systeme。Modellierung和Steuerung verteilter系统。第三版完全修订和补充版München：Oldenbourg Verlag（2013；Zbl 1312.93002）
全文： 内政部
克里斯蒂安·罗尔

稳态和时间无界时间算子的模拟模型检查。 （英语） Zbl 1394.68236号

Koutny，Maciej（编辑）等人，《Petri网和其他并发模型事务》VIII。柏林：施普林格出版社（ISBN 978-3-642-40464-1/pbk）。计算机科学8100课堂讲稿。《期刊副刊》，142-158（2013）。
MSC公司：60年第68季度 68问题85 92C40型
PDF格式BibTeX公司 XML格式引用
\textit{C.Rohr}，莱克特。注释计算。科学。8100、142--158（2013年；Zbl 1394.68236）
全文： 内政部
埃蒂安·安德烈；朱塞佩·佩莱格里诺；劳蕾·佩特鲁奇

带抑制剂ARCS的时间Petri网的精确鲁棒性分析。 （英语） Zbl 1390.68455号

Braberman，Víctor（编辑）等人，《定时系统的形式化建模和分析》。2013年8月29日至31日，阿根廷布宜诺斯艾利斯，第11届国际会议，FORMATS 2013。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-40228-9/pbk）。计算机科学课堂讲稿8053，1-15（2013）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{埃米·安德烈}等人，莱克特。注释计算。科学。8053，1-15（2013；Zbl 1390.68455）
全文： 内政部
哈尼法·布切内布；莱姆，迪迪埃；奥利维尔·H·鲁克斯。

关于时间Petri网的多能性。 （英语） Zbl 1381.68196号

Colom，José-Manuel（编辑）等人，《Petri网和并发的应用和理论》。第34届国际会议，2013年6月24日至28日，意大利米兰，PETRI NETS 2013。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-38696-1/pbk）。计算机科学课堂讲稿7927130-149（2013）。
MSC公司：68问题85 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{H.Boucheneb}等人，Lect。注释计算。科学。7927、130-149（2013年；Zbl 1381.68196）
全文： 内政部
洛姆·梅桑·希拉；Fabrice Kordon公司；查尔斯·拉科斯；劳蕾·佩特鲁奇

扩展PNML范围：组合Petri网类型的框架。 （英语） Zbl 1377.68148号

Jensen，Kurt（编辑）等人，《Petri网和其他并发模型上的事务》。六、 柏林：施普林格出版社（ISBN 978-3-642-35178-5/pbk）。计算机科学7400课堂讲稿。《期刊副刊》，46-70（2012）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{L.-M.Hillah}等人，Lect。注释计算。科学。7400，46-70（2012；Zbl 1377.68148）
全文： 内政部
扬·伦泽

离散事件系统。用自动机、马尔可夫链和Petri网对动态系统进行建模和分析。第二次修订版。（Ereignisdiskrete Systeme.Modellierung und Analyse dynamicscher Systeme mit Automaten，Markovketten und Petrinetzen） （德语） Zbl 1312.93001号

慕尼黑：奥尔登堡（Oldenbourg Verlag）（ISBN 978-3-486-71885-0/hbk）。第二十二章，第640页。(2012).
审核人：Gunther Reißig（Neubiberg）
MSC公司：93-01 93元65角 60J10型
PDF格式BibTeX公司 XML格式引用
\textit{J.Lunze}，Ereignisdiskrete Systeme公司。Modellierung和Analyse dynamicscher Systeme mit Automaten、Markovketten和Petrinetzen。第二次修订版慕尼黑：奥尔登堡-弗拉格（2012；Zbl 1312.93001）
卡罗·福里亚（Carlo A.Furia）。；迪诺·曼德里奥利；安杰洛·莫岑蒂；罗西，马蒂奥

计算中的建模时间。 （英语） 兹比尔1260.68004

理论计算机科学专著。EATCS系列柏林：施普林格出版社（ISBN 978-3-642-32331-7/hbk；978-3-642-32332-4/ebook）。xvi，第423页。(2012).
审核人：Florin Manea（柏林）
MSC公司：68-02 68问题85 2005年第68季度 65年第68季度 68瓦40 60年第68季度 37N99型
PDF格式BibTeX公司 XML格式引用
\textit{C.A.Furia}等人，《计算中的建模时间》。柏林：施普林格出版社（2012；Zbl 1260.68004）
全文： 内政部
弗洛伦特·佩雷斯；伯纳德·伯托米厄；弗朗索瓦·维纳达特

关于时间Petri网的构成。 （英语） Zbl 1238.68101号

离散事件动态。系统。 21，第3期，395-424（2011）.
审核人：Maciej Koutny（泰恩河畔纽卡斯尔）
MSC公司：68问题85 60年第68季度 68问题55 68甲19 68号30 64岁以下 68米15
PDF格式BibTeX公司 XML格式引用
\textit{F.Peres}等人，离散事件动态。系统。21，第3号，395--424（2011；Zbl 1238.68101）
全文： 内政部
乔纳森·比林顿；盖·爱德华·加拉斯

具有分叉连接子网的广义随机Petri网的参数稳态分析。 （英语） Zbl 1330.68193号

Kristensen，Lars M.（编辑）等人，《Petri网的应用和理论》。2011年6月20日至24日，英国纽卡斯尔，第32届国际会议，PETRI NETS 2011。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-21833-0/pbk）。计算机科学课堂讲稿6709268-287（2011）。
MSC公司：68问题85 60J28型 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{J.Billington}和\textit{G.E.Gallasch}，莱克特。注释计算。科学。6709268--287（2011年；Zbl 1330.68193）
全文： 内政部
迈克尔·佩德森；戈登·普洛金（Gordon D.Plotkin）。

生化系统语言：设计和形式规范。 （英语） Zbl 1275.92020年

Priami，Corrado（编辑）等人，《计算系统生物学学报》第十二卷。关于建模方法的特别问题。柏林：施普林格出版社（ISBN 978-3-642-11711-4/pbk）。计算机科学课堂讲稿5945。生物信息学课堂讲稿。《期刊副刊》，77-145（2010年）。
MSC公司：92C40型 60J28型 68问题85 第92页第42页
PDF格式BibTeX公司 XML格式引用
\textit{M.Pedersen}和\textit{G.D.Plotkin}，莱克特。注释计算。科学。5945，77--145（2010；Zbl 1275.92020）
全文： 内政部
路易斯·马里·特劳努埃兹；格拉比奇，Bartosz；克洛德·贾德；莱姆，迪迪埃；奥利维尔·H·鲁克斯。

参数秒表Petri网的符号展开。 （英语） Zbl 1305.68127号

Bouajjani，Ahmed（编辑）等人，《验证和分析自动化技术》。2010年9月21日至24日，第八届国际研讨会，ATVA 2010，新加坡。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-15642-7/pbk）。计算机科学讲稿6252291-305（2010）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{L.-M.Traonouez}等人，Lect。注释计算。科学。6252291--305（2010年；Zbl 1305.68127）
全文： 内政部 哈尔
巴托斯·格拉比克；路易斯·马里·特劳努埃兹；克洛德·贾德；莱姆，迪迪埃；奥利维尔·H·鲁克斯。

利用参数时间Petri网的展开进行诊断。 （英语） Zbl 1290.68094号

Chatterjee，Krishnendu（编辑）等人，时间系统的形式化建模和分析。第八届国际会议，FORMATS 2010，奥地利克洛斯特内堡，2010年9月8-10日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-15296-2/pbk）。计算机科学课堂讲稿6246137-151（2010）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{B.Grabiec}等人，Lect。注释计算。科学。6246、137--151（2010年；Zbl 1290.68094）
全文： 内政部
蒋介石，恰楚；科斯昆·贝拉克

基于角色的访问控制中的并发性和时间。 （英语） 兹比尔1214.68108

Park，Jong Hyuk（编辑）等人，《信息安全及其应用进展》。第三届国际会议，ISA 2009，韩国首尔，2009年6月25-27日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-02632-4/pbk；978-3-442-02633-1/电子书）。《计算机与信息科学通信》36，37-42（2009）。
MSC公司：68M99型 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{C.-C.Chiang}和\textit{C.Bayrak}，Commun。计算。信息科学。36、37-42（2009年；Zbl 1214.68108）
全文： 内政部
伊莎贝尔·恶魔戈丁

使用批处理速度可控的批处理Petri网对运输网络进行建模和分析。 （英语） Zbl 1242.90054号

Franceschinis，Giuliana（编辑）等人，《Petri网的应用和理论》。第30届国际会议，PETRI NETS 2009，巴黎，法国，2009年6月22-26日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-02423-8/pbk）。计算机科学讲座笔记5606204-222（2009）。
MSC公司：90B20型 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{I.恶魔岛}，莱克特。注释计算。科学。5606204-222（2009；Zbl 1242.90054）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件