×

找到262个文档（结果1–100）

最新的 引文 关联
泽维尔·阿拉米吉恩;马林·博伊特;圣埃芬·高伯特

计算紧急呼叫中心的瞬态边界：一种分层时间Petri网方法。 （英语） Zbl 1499.68215号

Bernardinello，Luca（编辑）等人，《Petri网和并发的应用和理论》。第43届国际会议，PETRI NETS 2022，挪威卑尔根，2022年6月19-24日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13288, 90-112 (2022).
MSC公司：68问题85 90立方厘米
PDF格式BibTeX公司 XML格式引用
\textit{X.Allamigeon}等人，Lect。注释计算。科学。13288，90-112（2022；Zbl 1499.68215）
全文： 内政部 arXiv公司
亚当·伯克;桑德·利曼斯。;韦恩、莫·桑达尔

通过简化和抽象发现随机过程模型。 （英语） Zbl 1489.68155号

Buchs，Didier（编辑）等人，Petri网和并发的应用和理论。第42届国际会议，PETRI NETS 2021，虚拟活动，2021年6月23日至25日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12734, 312-336 (2021).
MSC公司：68问题85 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Burke}等人，Lect。注释计算。科学。12734、312--336（2021年；Zbl 1489.68155）
全文： 内政部 链接
伊戈尔·瓦列列维奇·塔拉修克

随机过程代数dtsdPBC中的性能评估。 （英语） 兹比尔1482.68156

同胞。È勒克特隆。Mat.Izv公司。 18，编号2，1105-1145（2021）.
审核人：艾哈迈特·库萨诺夫（Komsomolsk-om-Amur）
MSC公司：68问题85 60J10型 60J20型 2015年6月 68平方米 第68季度55
PDF格式BibTeX公司 XML格式引用
\textit{I.V.Tarasyuk}，Sib。È勒克特隆。Mat.Izv公司。18，编号2，1105--1145（2021；Zbl 1482.68156）
全文： 内政部
卡琳娜·皮尔奇;阿恩·哈特曼斯;安妮·雷姆克

具有随机触发的混合Petri网的经典和非预测模型检验。 （英语） Zbl 07300851号

第23届ACM混合系统国际会议论文集：计算与控制，HSCC 2020，澳大利亚悉尼，虚拟，2020年4月21日至24日。纽约州纽约市：计算机协会（ACM）。第10条，第11页（2020年）。
MSC公司：65年第68季度 60年第68季度 93立方
PDF格式BibTeX公司 XML格式引用
\textit{C.Pilch}等人，in：第23届ACM混合系统国际会议论文集：计算和控制，HSCC 2020，澳大利亚悉尼和虚拟，2020年4月21日至24日。纽约州纽约市：计算机协会（ACM）。第10条，第11页（2020；Zbl 07300851）
全文： 内政部 链接
朱利奥·马塞蒂;莱昂纳多·机器人;西尔瓦诺·恰拉多纳;费利西塔·迪·詹多梅尼科

通过Kronecker代数和指数和对大型相互依赖组合模型进行随机评估。 （英语） 兹伯利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）
全文： 内政部 链接
巴奇拉·博图米;纳维尔·加尔比

用于改善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/电子书）。计算机科学讲义10932168.181（2018）。
MSC公司：90B22型 60K25码 90B18号机组
PDF格式BibTeX公司 XML格式引用
\textit{B.Boutoumi}和\textit{N.Gharbi}，莱克特。注释计算。科学。10932、168--181（2018；Zbl 1397.90106）
全文： 内政部
阿明·齐默尔曼;托马斯·霍茨;安德烈斯·卡纳巴尔·拉维斯塔

一种用于随机Petri网性能评估的混合多轨迹仿真算法。 （英语） Zbl 1420.68150号

Bertrand，Nathalie（编辑）等人，《系统的定量评估》。2017年9月5-7日在德国柏林举行的2017年QEST第14届国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10503, 107-122 (2017).
MSC公司：68问题85 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Zimmermann}等人，Lect。注释计算。科学。10503、107-122（2017；Zbl 1420.68150）
全文： 内政部
马可·比亚吉;劳拉·卡内瓦利;马尔科·保列里;托马索·帕皮尼;恩里科·比卡里奥

在马尔可夫再生过程瞬态解技术集成中利用非确定性分析。 （英语） 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）
全文： 内政部
法尔科·鲍斯;彼得·巴赫霍尔茨;塔拉修克，伊戈尔五世。;米克洛斯·特莱克

FSPN的等效性和集总性。 （英语） Zbl 1475.68201号

Thomas，Nigel（编辑）等人，《分析和随机建模技术及应用》。2017年7月10日至11日在英国纽卡斯尔-乌邦-泰恩举行的2017年ASMTA第24届国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10378, 16-31 (2017).
MSC公司：68问题85 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit｛F.Bause｝等人，Lect。注释计算。科学。10378，16-31（2017；Zbl 1475.68201）
全文： 内政部
S.Mehdi，瓦希迪普尔;穆罕默德·雷扎·梅博迪;迈赫迪·埃斯纳沙里

使用学习自动机和自适应随机Petri网寻找随机图中的最短路径。 （英语） Zbl 1377.68153号

国际期刊不确定性。模糊知道-基于系统。 25，第3期，427-455（2017）.
MSC公司：68问题85 65年第68季度 90B15号机组 90立方厘米
PDF格式BibTeX公司 XML格式引用
\textit{S.M.Vahidipour}等人，国际期刊《不确定性》。模糊知道-基于系统。25，编号32427-455（2017；兹bl 1377.68153）
全文： 内政部
斯特凡·哈尔;西蒙·泰辛

解耦客流以改进负荷预测。 （英语） Zbl 1408.90037号

Agha，Gul（编辑）等人，《系统的定量评估》。2016年8月23日至25日，第13届国际会议，QEST 2016，加拿大魁北克市。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9826, 364-379 (2016).
MSC公司：90B06型 60 H10型 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{S.Haar}和\textit{S.Theissing}，莱克特。注释计算。科学。9826、364--379（2016；Zbl 1408.90037）
全文： 内政部 哈尔
克里斯托夫·马鲁西;阿提拉·克莱尼克;文斯·莫尔纳;安德拉斯·Vörös;伊斯坦·马齐克;米克洛斯·特莱克

复杂随机Petri网模型平稳分析的高效分解算法。 （英语） Zbl 1346.68138号

Kordon，Fabrice（编辑）等人，Petri网和并发的应用和理论。第37届国际会议，PETRI NETS 2016，波兰托伦，2016年6月19-24日。诉讼程序。查姆：施普林格（ISBN 978-3-319-39085-7/pbk；978-3-3169-39086-4/电子书）。计算机科学讲座笔记9698，281-300（2016）。
MSC公司：68问题85 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{K.Marussy}等人，Lect。注释计算。科学。9698，281--300（2016；Zbl 1346.68138）
全文： 内政部
托马斯·布拉兹迪尔;斯特凡·基弗;安东·库切拉;诺沃顿，皮特

概率向量加法系统的长期平均行为。 （英语） Zbl 1392.68284号

2015年第30届ACM/IEEE计算机科学逻辑研讨会论文集，2015年7月6日至10日，日本京都，LICS 2015。加利福尼亚州洛斯·阿拉米托斯：IEEE计算机学会（ISBN 978-1-4799-8875-4）。44-55 (2015).
MSC公司：68问题85 65年第68季度 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{T.Brázdil}等人，in：2015年第30届ACM/IEEE计算机科学逻辑研讨会论文集，LICS 2015，日本京都，2015年7月6日至10日。加利福尼亚州洛斯·阿拉米托斯：IEEE计算机协会。44-55（2015；Zbl 1392.68284）
全文： 内政部 arXiv公司 链接
莫妮卡·海纳;马丁·施瓦里克;詹·蒂埃里·韦格纳

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）
全文： 内政部
达里奥·文莱;弗朗西斯科·隆戈;马可·斯卡帕;安东尼奥·普利亚菲托;拉胡尔·戈什;特里维迪，S。

基于SRN的弹性量化方法。 （英语） Zbl 1432.68301号

Devillers，Raymond（编辑）等人，Petri网和并发的应用和理论。第36届国际会议，PETRI NETS 2015，比利时布鲁塞尔，2015年6月21日至26日，会议记录。查姆：斯普林格。莱克特。注释计算。科学。9115, 98-116 (2015).
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{D.Bruneo}等人，Lect。注释计算。科学。9115，98-116（2015；Zbl 1432.68301）
全文： 内政部
塔拉修克，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 1335.68175号

Fernández，Maribel（编辑）等人，第八届逻辑和语义框架研讨会论文集（LSFA 2013），巴西圣保罗，2013年9月2日至3日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记305，67-83，仅电子版（2014）。
MSC公司：68问题85 03B45号 03B70号 68纳米30 2017年第68季度 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{B.Lopes}等人，《电子》。注释Theor。计算。科学。305、67-83（2014年；Zbl 1335.68175）
全文： 内政部
克里斯蒂安·罗尔

稳态和时间无界时间算子的模拟模型检查。 （英语） 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）
全文： 内政部
大卫·吉尔伯特;莫妮卡·海纳;刘菲;奈杰尔·桑德斯

彩色空间——系统生物学中空间建模的彩色框架。 （英语） Zbl 1381.92035号

Colom，José-Manuel（编辑）等人，《Petri网和并发的应用和理论》。第34届国际会议，2013年6月24日至28日，意大利米兰，PETRI NETS 2013。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-38696-1/pbk）。计算机科学课堂讲稿7927230-249（2013）。
MSC公司：92立方厘米 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{D.Gilbert}等人，Lect。注释计算。科学。7927230-249（2013；Zbl 1381.92035）
全文： 内政部
托马斯·梅隆德;安德斯·霍勒格尔（Anders E.Halager）。;迈克尔·韦斯特加德

使用有色Petri网构建合并隐马尔可夫模型：从人口统计规范到有效推理方法的自动转换。 （英语） Zbl 1358.92069号

Haddad，Serge（编辑）等人，《Petri网的应用和理论》。2012年6月25日至29日，第33届国际会议，PETRI NETS 2012，德国汉堡。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-31130-7/pbk）。计算机科学课堂讲稿7347，32-50（2012）。
MSC公司：92D15型 62亿02 68问题85 92D10型 第92天20分
PDF格式BibTeX公司 XML格式引用
\textit{T.Mailund}等人，Lect。注释计算。科学。7347，32-50（2012；Zbl 1358.92069）
全文： 内政部
乔纳森·比林顿;盖·爱德华·加拉斯

具有分叉连接子网的广义随机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 60年28日 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{J.Billington}和\textit{G.E.Gallasch}，莱克特。注释计算。科学。6709268--287（2011年；Zbl 1330.68193）
全文： 内政部
莫妮卡·海纳;大卫·吉尔伯特

Petri网如何增强您的系统生物学工具包。 （英语） Zbl 1332.92021

Kristensen，Lars M.（编辑）等人，《Petri网的应用和理论》。2011年6月20日至24日，英国纽卡斯尔，第32届国际会议，PETRI NETS 2011。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-21833-0/pbk）。计算机科学课堂讲稿6709，17-37（2011）。
MSC公司：92立方厘米 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{M.海纳}和\textit{D.吉尔伯特}，莱克特。注释计算。科学。6709，17-37（2011；Zbl 1332.92021）
全文： 内政部
盖·爱德华·加拉斯;乔纳森·比林顿

研究封闭分叉连接网络中稳态概率的收敛性。 （英语） Zbl 1305.68124号

Bouajjani，Ahmed（编辑）等人，用于验证和分析的自动化技术。2010年9月21日至24日，第八届国际研讨会，亚洲电视协会，新加坡。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-15642-7/pbk）。计算机科学讲稿6252143-157（2010）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{G.E.Gallasch}和\textit{J.Billington}，莱克特。注释计算。科学。6252、143--157（2010年；Zbl 1305.68124）
全文： 内政部
纳维尔·加尔比

关于随机Petri网在分析具有不同休假策略的多服务器重审系统中的适用性。 （英语） Zbl 1183.68040号

Cha，Sungdeok（Steve）（编辑）等人，验证和分析自动化技术。2008年10月20日至23日，第六届国际研讨会，ATVA 2008，韩国首尔。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-88386-9/pbk）。计算机科学课堂讲稿5311289-302（2008）。
MSC公司：68M10个 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{N.Gharbi}，莱克特。注释计算。科学。5311、289--302（2008年；Zbl 1183.68040）
全文： 内政部
克里斯托斯·卡桑德拉斯。;圣菲拉福顿

离散事件系统简介。第2版。 （英语） 兹比尔1165.93001

纽约州纽约市：施普林格出版社（ISBN 978-0-387-33332-8/hbk）。xxiii，769页。(2008).
审核人：Tiit Riismaa（塔林）
MSC公司：93-01 93A10号 93立方65
PDF格式BibTeX公司 XML格式引用
\textit{C.G.Cassandras}和\textit{S.Lafortune}，离散事件系统简介。第二版，纽约州纽约市：施普林格出版社（2008；Zbl 1165.93001）
全文： 内政部 链接
Mariken H.C.Everdij。;布洛姆，亨克·A·P。

具有扩散的混合Petri网与广义随机混合过程成映射。 （英语） Zbl 1130.93049号

Blom，Henk A.P.（编辑）等人，《随机混合系统》。理论和安全关键应用。柏林：施普林格出版社（ISBN 3-540-33466-1/pbk）。控制与信息科学讲座笔记337，31-63（2006）。
MSC公司：93E03型 68问题85 60J25型
PDF格式BibTeX公司 XML格式引用
\textit{M.H.C.Everdij}和\textit{H.A.P.Blom}，莱克特。票据控制信息科学。337、31-63（2006年；Zbl 1130.93049）
伯恩德·海德哥特;吉尔特·詹·奥尔德瑟;雅各布·范德沃德

同步系统的建模与分析：Max-plus代数及其应用课程。 （英语） Zbl 1130.93003号

普林斯顿应用数学系列新泽西州普林斯顿：普林斯顿大学出版社（ISBN 0-691-11763-2/pbk）。xi，第213页。(2006).
审核人：Tiit Riismaa（塔林）
MSC公司：93-01 93E03型
PDF格式BibTeX公司 XML格式引用
\textit{B.Heidergott}等人，Max plus at work.同步系统的建模和分析：Max-plus代数及其应用课程。新泽西州普林斯顿：普林斯顿大学出版社（2006；Zbl 1130.93003）
亚历山德罗·朱阿;丹尼尔·科罗纳;卡拉·西特祖

具有非接触非确定性跃迁的无（λ）标记Petri网的状态估计。 （英语） Zbl 1071.93028号

离散事件动态。系统。 15，第1期，85-108（2005）.
审核人：Alex V.Kolnogorov（诺夫哥罗德）
MSC公司：93立方65 93个B07 93E10型 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{A.Giua}等人，离散事件动态。系统。15，第1号，85--108（2005；Zbl 1071.93028）
全文： 内政部
赫尔梅内吉尔达·马西阿;瓦伦蒂安·瓦莱罗;迭戈·卡佐拉;费尔南多·库亚特罗

在sPBC中介绍迭代。 （英语） Zbl 1110.68420号

de Frutos-Escrig，David（编辑）等人，《网络和分布式系统的形式化技术——FORTE 2004》。第24届IFIP工作组6.1国际会议，西班牙马德里，2004年9月27日至30日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-23252-4/pbk）。《计算机科学讲义》3235292-309（2004）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{H.Maciá}等人，Lect。注释计算。科学。3235、292--309（2004年；Zbl 1110.68420）
全文： 内政部
R·盖塔。;M.格里鲍多。;D.马尼尼。;塞里诺，M。

关于使用Petri网计算短TCP传输的完成时间分布。 （英语） Zbl 1274.68232号

van der Aalst，Wil（编辑）等人，《Petri网的应用和理论》，2003年。第24届国际会议，ICATPN 2003，荷兰埃因霍温，2003年6月23日至27日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-40334-5/pbk）。计算机科学课堂讲稿2679181-200（2003）。
MSC公司：68问题85 68英里11 68个M12 68平方米
PDF格式BibTeX公司 XML格式引用
\textit{R.Gaeta}等人，Lect。注释计算。科学。2679181-200（2003年；Zbl 1274.68232）
全文： 内政部
纳维尔·加尔比;马利卡·尤瓦拉伦

基于广义随机Petri网的重试排队系统性能分析。 （英语） Zbl 1270.68051号

Asarin，Eugene（编辑）等人，TPTS’2002。2002年4月6日至7日在法国格勒诺布尔举行的第一次定时系统理论与实践研讨会会议记录（ETAPS 2002年卫星活动）。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》65，第6期，86-100（2002）。
MSC公司：68平方米 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{N.Gharbi}和\textit{M.Ioualen}，电子。注释Theor。计算。科学。65，第6号，86--100（2002；Zbl 1270.68051）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件