×

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

最新的 引文 关联
T·卡利亚尼。；萨西卡拉，K。；D.G.托马斯。；Bhuvaneswari，K。

辅助部分数组标记Petri网结构。 （英语） Zbl 1528.68255号

Barneva，Reneta P.（编辑）等人，《组合图像分析》。第21届国际研讨会，IWCIA 2022，墨西拿，意大利，2022年7月13日至15日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13348, 189-203 (2023).
MSC公司：68问题85 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{T.Kalyani}等人，Lect。注释计算。科学。13348，189--203（2023；Zbl 1528.68255）
全文： 内政部
塞萨尔·阿尔佐拉；卡洛斯·雷纳托·Vázquez；安东尼奥·拉米雷斯·特雷维尼奥；曼纽尔·席尔瓦

时间连续Petri网的结构可控性。 （英语） Zbl 1522.93028号

Automatica公司 153，文章ID 111005，9 p.（2023）.
审核人：Udhayakumar Ramalingam（维洛尔）
MSC公司：93个B05 93元65角 93立方厘米
PDF格式BibTeX公司 XML格式引用
\textit{C.Arzola}等人，Automatica 153，文章ID 111005，9 p.（2023；Zbl 1522.93028）
全文： 内政部
杰罗姆·勒鲁

陈述与领导者的协议的复杂性。 （英语） 兹伯利07824271

Milani，Alessia（ed.）等人，《第41届ACM分布式计算原理研讨会论文集》，PODC’22，意大利萨勒诺，2022年7月25日至29日。纽约州纽约市：计算机协会（ACM）。257-264 (2022).
MSC公司：64岁以下 68宽15
PDF格式BibTeX公司 XML格式引用
\textit{J.Leroux}，in：第41届ACM分布式计算原理研讨会论文集，PODC’22，意大利萨勒诺，2022年7月25-29日。纽约州纽约市：计算机协会（ACM）。257--264（2022；Zbl 07824271）
全文： 内政部 arXiv公司
Wil M.P.范德阿尔斯特。

直接发现允许从事件数据中发现完整的Petri网。 （英语） Zbl 1524.68222号

Jansen，Nils（编辑）等人，《从过程代数到时间自动机到模型学习的旅程》。在弗里茨·瓦德拉格60岁生日之际，为他撰写的论文。查姆：斯普林格。莱克特。注释计算。科学。13560, 539-558 (2022).
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{W.M.P.van der Aalst}，莱克特。注释计算。科学。13560539--558（2022年；Zbl 1524.68222）
全文： 内政部
奥尔德罗格（Ernst-Rüdiger Olderog）；伯恩哈德·斯特芬；易、王

模型检查、综合和学习。 （英语） 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）
全文： 内政部
范甘·特林；贝莱德·本哈莫；Hiraishi、Kunihiko；西尔万·索利曼

逻辑模型的最小陷阱空间是其Petri网编码的最大信标。 （英语） Zbl 1505.92082号

Petre，Ion（编辑）等人，《系统生物学中的计算方法》。第20届国际会议，CMSB 2022，罗马尼亚布加勒斯特，2022年9月14-16日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13447, 158-176 (2022).
MSC公司：第92页第42页 92C40型 94D10号
PDF格式BibTeX公司 XML格式引用
\textit{V.-G.Trinh}等人，Lect。注释计算。科学。13447，158--176（2022；Zbl 1505.92082）
全文： 内政部 哈尔
德奥利维拉·奥利维拉，马特乌斯

从因果规范合成和分析Petri网。 （英语） Zbl 1514.68161号

Shoham，Sharon（编辑）等人，《计算机辅助验证》。第34届国际会议，CAV 2022，以色列海法，2022年8月7日至10日。诉讼程序。第二部分。查姆：斯普林格。莱克特。注释计算。科学。13372, 447-467 (2022).
MSC公司：68问题85 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.de Oliveira Oliveila}，莱克特。注释计算。科学。13372、447--467（2022年；Zbl 1514.68161）
全文： 内政部
保罗·卡泽纳夫；马内尔省Khlif-Bouassida；阿尔芒·托盖尼

动态路由铁路网络中的死锁和冲突避免：具有部分可控性和可观性的Petri网方法。 （英语） Zbl 1504.93222号

Zattoni，Elena（编辑）等人，第15届欧洲先进控制和诊断研讨会，ACD 2019。研讨会记录，2019年11月21日至22日，意大利博洛尼亚。查姆：斯普林格。莱克特。票据控制信息科学–程序。，1195-1215 (2022).
MSC公司：93元65角 93B70型 93个B05 93个B07
PDF格式BibTeX公司 XML格式引用
\textit{P.Cazenave}等人，in：第15届欧洲先进控制和诊断研讨会，ACD 2019。研讨会记录，2019年11月21日至22日，意大利博洛尼亚。查姆：斯普林格。1195-1215（2022年；兹比尔1504.93222）
全文： 内政部
多米尼克·索默斯；纳塔利亚·西多罗娃；van Dongen，Boudewijn先生

将事件日志与资源约束的Petri网对齐。 （英语） Zbl 1499.68235号

Bernardinello，Luca（编辑）等人，《Petri网和并发的应用和理论》。第43届国际会议，PETRI NETS 2022，挪威卑尔根，2022年6月19-24日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13288, 325-345 (2022).
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{D.Sommers}等人，Lect。注释计算。科学。13288、325--345（2022年；Zbl 1499.68235）
全文： 内政部
曼内尔，丽莎·L·。；Wil M.P.范德阿尔斯特。

发现具有长期依赖性的流程模型，同时提供保证并处理不常见的行为。 （英语） Zbl 1499.68231号

Bernardinello，Luca（编辑）等人，《Petri网和并发的应用和理论》。第43届国际会议，PETRI NETS 2022，挪威卑尔根，2022年6月19-24日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13288, 303-324 (2022).
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{L.L.Mannel}和\textit{W.M.P.van der Aalst}，莱克特。注释计算。科学。13288、303--324（2022；Zbl 1499.68231）
全文： 内政部
Elvio G.Amparore公司。；苏珊娜·多纳泰利

Petri网组成的来龙去脉。 （英语） Zbl 1499.68216号

Bernardinello，Luca（编辑）等人，《Petri网和并发的应用和理论》。第43届国际会议，PETRI NETS 2022，挪威卑尔根，2022年6月19-24日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13288, 278-299 (2022).
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{E.G.Amparore}和\textit{S.Donatelli}，莱克特。注释计算。科学。13288，278--299（2022；Zbl 1499.68216）
全文： 内政部
维克托·科门科；马西耶·库特尼；亚历克斯·雅科夫列夫

避免控制流的Petri网模型中的指数爆炸。 （英语） Zbl 1499.68227号

Bernardinello，Luca（编辑）等人，《Petri网和并发的应用和理论》。第43届国际会议，PETRI NETS 2022，挪威卑尔根，2022年6月19-24日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13288, 261-277 (2022).
MSC公司：68问题85 65年第68季度 65年第68季度 68兰特
PDF格式BibTeX公司 XML格式引用
\textit{V.Khomenko}等人，Lect。注释计算。科学。13288、261--277（2022；Zbl 1499.68227）
全文： 内政部 链接
保罗·汉尼拔；奥尔德罗格（Ernst-Rüdiger Olderog）

重复通信Petri博弈的综合问题。 （英语） Zbl 1499.68225号

Bernardinello，Luca（编辑）等人，《Petri网和并发的应用和理论》。第43届国际会议，PETRI NETS 2022，挪威卑尔根，2022年6月19-24日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13288, 236-257 (2022).
MSC公司：68问题85 65年第68季度 91A80型
PDF格式BibTeX公司 XML格式引用
\textit{P.Hannibal}和\textit{E.-R.Olderog}，莱克特。注释计算。科学。13288236-257（2022年；兹比尔1499.68225）
全文： 内政部
泽维尔·阿拉米吉恩；马林·博伊特；圣埃芬·高伯特

计算紧急呼叫中心的瞬态边界：一种分层时间Petri网方法。 （英语） 兹比尔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 1507.68208号

Koutny，Maciej（编辑）等人，《Petri网和其他并发模型事务》第十六卷。柏林：斯普林格。莱克特。注释计算。科学。13220, 1-23 (2022).
审核人：T.C.Mohan（钦奈）
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{L.Bernardinello}等人，Lect。注释计算。科学。13220，1--23（2022；Zbl 1507.68208）
全文： 内政部 链接
弗朗西斯科·巴西利；毛里齐奥·博西亚；吉安马利亚·德·托马西；卡洛·莫塔；克劳迪奥·斯特尔

一种基于优化的方法，用于评估标记和有界Petri网系统中的不干扰性。 （英语） Zbl 1485.93342号

非线性分析。，混合系统。 44，文章ID 101153，23 p.（2022）.
MSC公司：93元65角 90立方厘米
PDF格式BibTeX公司 XML格式引用
\textit{F.Basile}等人，《非线性分析》。，混合系统。44，文章ID 101153，23 p.（2022；Zbl 1485.93342）
全文： 内政部
里扎德·贾尼基；码头Kleijn；马西耶·库特尼；乌卡斯·米库尔斯基

并发的范例。观察、行为和系统——Petri网视图。 （英语） Zbl 1503.68008号

计算智能研究1020.柏林：施普林格出版社（ISBN 978-3-662-64819-3/hbk；978-3-682-64821-6/电子书）。xii，第326页。(2022).
审核人：马丁·兰格（卡塞尔）
MSC公司：68-02 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{R.Janicki}等人，并发的范例。观察、行为和系统——Petri网视图。柏林：施普林格（2022；兹bl 1503.68008）
全文： 内政部
哈维尔·埃斯帕尔扎

人口协议的状态复杂性（受邀谈话）。 （英语） 兹比尔07799580

Bojañczyk，Mikołaj（编辑）等人，第41届IARCS软件技术和理论计算机科学基础年会，FSTTCS 2021，虚拟会议，2021年12月15日至17日。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。213，第2条，第1页（2021年）。
MSC公司：68号30 68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{J.Esparza}，LIPIcs——莱布尼茨国际程序。通知。213，第2条，第1页（2021；兹bl 07799580）
全文： 内政部
阿纳尔多·塞斯科；罗伯托·戈里埃里

图灵全分布式计算模型的可判定等价。 （英语） 兹伯利07724201

Bonchi，Filippo（ed.）等人，第46届计算机科学数学基础国际研讨会，MFCS 2021，2021年8月23日至27日，爱沙尼亚塔林。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。202，第28条，第18页（2021）。
MSC公司：68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{A.Cesco}和\textit{R.Gorrieri}，LIPIcs——莱布尼茨国际程序。通知。202，第28条，第18页（2021；Zbl 07724201）
全文： 内政部 arXiv公司
迈克尔·布隆丁；马提亚斯·恩格尔；阿兰·芬克尔；斯特凡·格勒；克里斯托夫·哈斯；兰科·拉齐奇；皮埃尔·麦肯齐；帕特里克·托茨克

二维状态向量加法系统的可达性问题。 （英语） Zbl 1499.68219号

美国临床医学杂志 68，第5期，第34号论文，43页（2021年）.
MSC公司：68问题85 2017年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Blondin}等人，J.ACM 68，第5号，第34号论文，43页（2021年；Zbl 1499.68219）
全文： 内政部 链接
吉安马利亚·德·托马西；卡洛·莫塔；阿尔贝托·佩特里洛；桑蒂尼，斯特凡妮亚

基于优化的Petri网初始状态不透明度评估。 （英语） Zbl 1497.90228号

梅森，阿德里亚诺（编辑）等人，《优化与数据科学：趋势与应用》。2021年2月8日至12日，第五届AIROYoung研讨会和AIRO博士学校2021年联合活动。查姆：斯普林格。AIRO Springer系列。6, 127-138 (2021).
MSC公司：90 C90 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{G.De Tommasi}等人，AIRO Springer Ser。6、127--138（2021年；Zbl 1497.90228）
全文： 内政部
吕迪格·瓦尔克

使用Petri网破译环形交通队列的同车异常。 （英语） Zbl 1489.68170号

Buchs，Didier（编辑）等人，Petri网和并发的应用和理论。第42届国际会议，PETRI NETS 2021，虚拟活动，2021年6月23日至25日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12734, 443-462 (2021).
MSC公司：68问题85 90B20型
PDF格式BibTeX公司 XML格式引用
\textit{R.Valk}，莱克特。注释计算。科学。12734、443--462（2021年；Zbl 1489.68170）
全文： 内政部
康嘉文；白、云君；焦、李

Petri网的基于抽象的增量归纳可覆盖性。 （英语） 兹比尔1489.68162

Buchs，Didier（编辑）等人，Petri网和并发的应用和理论。第42届国际会议，PETRI NETS 2021，虚拟活动，2021年6月23日至25日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。第12734页，第379-398页（2021年）。
MSC公司：68问题85 60年第68季度 68周05
PDF格式BibTeX公司 XML格式引用
\textit{J.Kang}等人，Lect。注释计算。科学。12734、379--398（2021年；Zbl 1489.68162）
全文： 内政部
杰泽克尔，洛伊格；莱姆，迪迪埃；巴斯蒂安塞雷

Petri网可达性分析的惰性查询方案。 （英语） Zbl 1489.68161号

Buchs，Didier（编辑）等人，Petri网和并发的应用和理论。第42届国际会议，PETRI NETS 2021，虚拟活动，2021年6月23日至25日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12734, 360-378 (2021).
MSC公司：68问题85 60年第68季度 68周05
PDF格式BibTeX公司 XML格式引用
\textit{L.Jezequel}等人，Lect。注释计算。科学。12734，360-378（2021；Zbl 1489.68161）
全文： 内政部 哈尔
亚当·伯克；Sander J.J.Leemans。；韦恩、莫·桑达尔

通过简化和抽象发现随机过程模型。 （英语） 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）
全文： 内政部 链接
迈克尔·豪斯特曼；戴维·莫斯特勒；丹尼尔·莫尔特

使用高级Petri网对同步的特定于域的多形式主义模型进行模型检查。 （英语） Zbl 1489.68140号

Buchs，Didier（编辑）等人，Petri网和并发的应用和理论。第42届国际会议，PETRI NETS 2021，虚拟活动，2021年6月23日至25日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12734, 230-249 (2021).
MSC公司：60年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{M.Haustermann}等人，Lect。注释计算。科学。12734，230-249（2021；Zbl 1489.68140）
全文： 内政部
Wil M.P.范德阿尔斯特。

使用诱导子网系统地证明自由选择网的属性的约简。 （英语） Zbl 1489.68171号

Buchs，Didier（编辑）等人，Petri网和并发的应用和理论。第42届国际会议，PETRI NETS 2021，虚拟活动，2021年6月23日至25日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12734, 208-229 (2021).
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\发短信给Lect。注释计算。科学。12734208-229（2021年；Zbl 1489.68171）
全文： 内政部 arXiv公司
杰罗姆·勒鲁

扁平Petri网（受邀演讲）。 （英语） Zbl 1489.68164号

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

随机过程代数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）
全文： 内政部
Virbitskaite，I.B.公司。；A.Yu Zubarev。

具有弱时间和持久原子策略的时间Petri网的“真正并发”语义。 （英语。俄文原件） Zbl 1483.68237号

程序。计算。柔和。 47，第5号，389-401（2021）; 译自Programmirovanie 47，No.5，60-74（2021）。
MSC公司：68问题85 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{I.B.Virbitskaite}和\textit{A.Yu.Zubarev}，程序。计算。柔和。47，编号5，389--401（2021；Zbl 1483.68237）；译自Programmirovanie 47，No.5，60--74（2021）
全文： 内政部
埃尔南·梅尔格拉蒂；克劳迪奥·安塔雷斯·梅齐纳；G.Michele Pinna

实现可逆CCS的真正并发语义。 （英语） Zbl 07419486号

Yamashita、Shigeru（编辑）等，《可逆计算》。第13届国际会议，RC 2021，虚拟活动，2021年7月7日至8日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12805, 109-125 (2021).
MSC公司：2009年第68季度 第68季度10 81页68
PDF格式BibTeX公司 XML格式引用
\textit{H.Melgratti}等人，Lect。注释计算。科学。12805、109-125（2021；Zbl 07419486）
全文： 内政部 哈尔
丹尼尔·迪特施；马蒂亚斯·海兹曼；多米尼克·克伦普；迈赫迪·瑙阿尔；安德烈亚斯·波德尔斯基；克劳斯·施瓦兹勒

使用Petri网展开验证并发程序。 （英语） Zbl 1472.68087号

Henglein，Fritz（编辑）等人，《验证、模型检验和抽象解释》。第22届国际会议，VMCAI 2021，丹麦哥本哈根，2021年1月17日至19日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12597, 174-195 (2021).
MSC公司：60年第68季度 68甲19 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{D.Dietsch}等人，Lect。注释计算。科学。12597174-195（2021年；Zbl 1472.68087）
全文： 内政部
迈克尔·布隆丁；克里斯托夫·哈斯；菲利普·奥特马特

无限状态系统的定向可达性。 （英语） Zbl 1474.68202号

Groote，Jan Friso（编辑）等人，《系统构建和分析的工具和算法》。第27届国际会议，TACAS 2021，作为欧洲软件理论与实践联合会议的一部分，于2021年3月27日至4月1日在卢森堡卢森堡市举行。诉讼程序。第二部分。查姆：斯普林格。莱克特。注释计算。科学。12652, 3-23 (2021).
MSC公司：68问题85 60年第68季度 68兰特
PDF格式BibTeX公司 XML格式引用
\textit{M.Blondin}等人，Lect。注释计算。科学。12652，3--23（2021；Zbl 1474.68202）
全文： 内政部 arXiv公司
Balasubramanian，A.R。；哈维尔·埃斯帕尔扎；米哈伊尔·拉斯金

在无领导的rendez-vous协议中查找断点很容易。 （英语） Zbl 07410418号

Kiefer，Stefan（编辑）等人，《软件科学和计算结构基础》。第24届国际会议FOSSACS 2021，作为欧洲软件理论与实践联合会议ETAPS 2021的一部分，于2021年3月27日至4月1日在卢森堡卢森堡市举行。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12650, 42-61 (2021).
MSC公司：68新元 68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{A.R.Balasubramanian}等人，Lect。注释计算。科学。12650，42-61（2021；Zbl 07410418）
全文： 内政部 arXiv公司

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

传记参考

全部的 前3名

软件