×

找到58个文档（结果1-58）

最新的 引文 关联
卡贾·古托斯卡;多罗塔·福马诺维奇;彼得·福马诺维奇

基于Petri网的系统方法作为一种建模和分析复杂生物系统的方法，以动脉粥样硬化的发展过程为例。 （英语） Zbl 07828828号

Bartoszewicz，Andrzej（编辑）等人，《高级当代控制》。2020年10月14日至29日，波兰科托德第20届波兰控制会议（PCC 2020），KKA 2020会议记录。查姆：斯普林格。高级智能。系统。计算。11961579-586（2020年）。
MSC公司：93至XX
PDF格式BibTeX公司 XML格式引用
\textit{K.Gutowska}等人，高级情报。系统。计算。1196579-586（2020；Zbl 07828828）
全文： 内政部
亚历山德鲁奥加;布丽姬特·班纳曼;豪尔赫·Jülvez

代谢网络中阻塞点的生长依赖性计算。 （英语） Zbl 1506.92036号

亚历山德罗（编辑）等，《系统生物学中的计算方法》。第18届国际会议，CMSB 2020，德国康斯坦茨，2020年9月23日至25日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12314, 102-119 (2020).
MSC公司：92立方厘米 92C40型 92-08
PDF格式BibTeX公司 XML格式引用
\textit{A.Oarga}等人，Lect。注释计算。科学。12314、102-119（2020年；Zbl 1506.92036）
全文： 内政部
兹比格尼乌·苏拉吉;阿布·埃拉·哈萨尼恩;Bandyopadhyay，锡巴斯

用于知识表示和推理的加权广义模糊Petri网和粗糙集。 （英语） Zbl 1509.68262号

Bello，Rafael（编辑）等人，《粗糙集》。2020年6月29日至7月3日在古巴哈瓦那举行的2020年国际JCRS国际联合会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12179, 61-77 (2020).
MSC公司：68立方英尺 68问题85 68层37
PDF格式BibTeX公司 XML格式引用
\textit{Z.Suraj}等人，Lect。注释计算。科学。12179，61-77（2020年；兹比尔1509.68262）
全文： 内政部
谢尔盖·哈达德;伊戈尔·赫梅尔尼茨基

动态递归Petri网。 （英语） Zbl 1503.68192号

Janicki，Ryszard（编辑）等人，Petri网和并发的应用和理论。第41届国际会议，PETRI NETS 2020，法国巴黎，2020年6月24日至25日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12152, 345-366 (2020).
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{S.Haddad}和\textit{I.Khmelnitsky}，莱克特。注释计算。科学。12152，345--366（2020；Zbl 1503.68192）
全文： 内政部
刘冠军

PSPACE-安全非对称选择工作流网络稳健性问题的完备性。 （英语） Zbl 1503.68195号

Janicki，Ryszard（编辑）等人，Petri网和并发的应用和理论。第41届国际会议，PETRI NETS 2020，法国巴黎，2020年6月24日至25日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12152, 196-216 (2020).
MSC公司：68问题85 2017年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{G.Liu}，莱克特。注释计算。科学。12152，196--216（2020；Zbl 1503.68195）
全文： 内政部
吕迪格·瓦尔克

环形交通队列和Petri循环线。 （英语） Zbl 1503.68197号

Janicki，Ryszard（编辑）等人，Petri网和并发的应用和理论。第41届国际会议，PETRI NETS 2020，法国巴黎，2020年6月24日至25日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12152, 176-195 (2020).
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{R.Valk}，莱克特。注释计算。科学。12152，176--195（2020；Zbl 1503.68197）
全文： 内政部
最好的，艾克;雷蒙德·魔鬼队;埃罗菲耶夫·叶夫根尼

无选择Petri网系统的一个新性质。 （英语） Zbl 1503.68188号

Janicki，Ryszard（编辑）等人，Petri网和并发的应用和理论。第41届国际会议，PETRI NETS 2020，法国巴黎，2020年6月24日至25日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12152, 89-108 (2020).
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit｛E.Best｝等人，Lect。注释计算。科学。12152，89--108（2020；Zbl 1503.68188）
全文： 内政部
奥利维·芬克尔

关于Petri网语言的高复杂性。 （英语） Zbl 1503.68172号

Janicki，Ryszard（编辑）等人，Petri网和并发的应用和理论。第41届国际会议，PETRI NETS 2020，法国巴黎，2020年6月24日至25日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。1215269-88（2020年）。
MSC公司：65年第68季度 05年3月 03E15年 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{O.Finkel}，莱克特。注释计算。科学。12152，69-88（2020；Zbl 1503.68172）
全文： 内政部
沃伊切赫，切尔文斯基;萨沃米尔·拉索塔;兰科·拉齐奇;杰罗姆·勒鲁;菲利普·马佐维耶基

具有状态的定维向量加法系统的可达性。 （英语） Zbl 07559504号

Konnov，Igor（编辑）等人，第31届并发理论国际会议。CONCUR 2020，2020年9月1日至4日，奥地利维也纳，虚拟会议。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。171，第48条，第21页（2020年）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{W.Czerwinn ski}等人，LIPIcs--Leibniz国际程序。通知。171，第48条，第21页（2020；Zbl 07559504）
全文： 内政部 arXiv公司
米哈伊尔·拉斯金;查纳·韦尔·肯尼迪;哈维尔·埃斯帕尔扎

即时观察Petri网的平坦性和复杂性。 （英语） Zbl 07559501号

Konnov，Igor（编辑）等人，第31届并发理论国际会议。CONCUR 2020，2020年9月1日至4日，奥地利维也纳，虚拟会议。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。171，第45条，第19页（2020年）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit｛M.Raskin｝等人，LIPIcs——莱布尼茨国际期刊。通知。171，第45条，第19页（2020；Zbl 07559501）
全文： 内政部 arXiv公司
李少勇;赵春润

一种使用控制转换的死锁控制算法，用于用Petri网建模的柔性制造系统。 （英语） 兹比尔1483.93405

国际期刊系统。科学。，普林克。申请。系统。集成。 51，第5期，771-785（2020年）.
MSC公司：93元65角 93个B03 90C05（二氧化碳）
PDF格式BibTeX公司 XML格式引用
\textit{L.Shaoyong}和\textit{Z.Chunrun}，国际期刊系统。科学。，普林克。申请。系统。集成。51，第5号，771--785（2020；Zbl 1483.93405）
全文： 内政部
乔安·巴蒂斯塔·德索扎·内托;阿纳玛丽亚·马丁斯·莫雷拉;Genoveva的Vargas Solar公司;Musicante，Martin A。

为大数据处理程序建模。 （英语） Zbl 1475.68081号

Carvalho，Gustavo（编辑）等人，《形式方法：基础和应用》。第23届巴西研讨会，SBMF 2020，巴西乌罗普雷托，2020年11月25日至27日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12475, 101-118 (2020).
MSC公司：68号30 68问题85 68T09号
PDF格式BibTeX公司 XML格式引用
\textit{J.B.de Souza Neto}等人，Lect。注释计算。科学。12475、101-118（2020年；Zbl 1475.68081）
全文： 内政部 哈尔
特雷杜普，罗尼;埃罗菲耶夫·叶夫根尼

布尔状态分离的复杂性。 （英语） Zbl 07369986号

Pun，Violet Ka I.（编辑）等人，《计算的理论方面——ICTAC 2020》。第17届国际学术讨论会，中国澳门，2020年11月30日至12月4日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12545, 123-142 (2020).
MSC公司：68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{R.特雷杜普}和\textit{E.Erofeev}，莱克特。注释计算。科学。12545，123--142（2020；Zbl 07369986）
全文： 内政部 arXiv公司
迈克尔·拉斯金;查纳·韦尔·肯尼迪

即时观察Petri网的有效限制。 （英语） Zbl 07368100号

Schmitz，Sylvain（编辑）等人，《可达性问题》。第14届国际会议，RP 2020，法国巴黎，2020年10月19-21日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12448, 99-114 (2020).
MSC公司：68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{M.Raskin}和\textit{C.Weil-Kennedy}，莱克特。注释计算。科学。12448，99-114（2020年；兹bl 07368100）
全文： 内政部 arXiv公司
什鲁蒂比斯瓦尔;安德鲁·米纳（Andrew S.Miner）。

使用混合关系兼容饱和度生成可达集。 （英语） 兹伯利07368096

Schmitz，Sylvain（编辑）等人，《可达性问题》。第14届国际会议，RP 2020，法国巴黎，2020年10月19-21日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12448, 37-51 (2020).
MSC公司：68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{S.Biswal}和\textit{A.S.Miner}，莱克特。注释计算。科学。12448，37-51（2020；Zbl 07368096）
全文： 内政部
埃尔南·梅尔格拉蒂;克劳迪奥·安塔雷斯·梅齐纳;伊恩·菲利普斯;G.Michele Pinna;伊雷克·乌利多夫斯基

可逆发生网和因果可逆素事件结构。 （英语） Zbl 07368046号

Lanese，Ivan（编辑）等人，《可逆计算》。2020年7月9日至10日在挪威奥斯陆举行的第十二届RC 2020国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12227, 35-53 (2020).
MSC公司：2009年第68季度 2010年第68季度 81页68
PDF格式BibTeX公司 XML格式引用
\textit{H.Melgratti}等人，Lect。注释计算。科学。12227，35-53（2020；Zbl 07368046）
全文： 内政部 arXiv公司
T·卡利亚尼。;萨西卡拉，K。;D.G.托马斯。;罗宾逊，塔姆布拉吉;Nagar，Atulya K。;米纳克希·帕拉马斯万

生成四面体图像语言的三维数组标记Petri网。 （英语） Zbl 1482.68154号

Lukić，Tibor（编辑）等人，《组合图像分析》。第20届国际研讨会，IWCIA 2020，塞尔维亚诺维萨德，2020年7月16-18日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12148, 88-105 (2020).
MSC公司：68问题85 2007年第68季度 65年第68季度 68单位05
PDF格式BibTeX公司 XML格式引用
\textit{T.Kalyani}等人，Lect。注释计算。科学。12148，88-105（2020；Zbl 1482.68154）
全文： 内政部
卡琳娜·皮尔奇;阿恩·哈特曼斯;安妮·雷姆克

具有随机触发的混合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）
全文： 内政部 链接
杰罗姆·勒鲁

当可达性满足Grzegorczyk时。 （英语） Zbl 1506.68061号

2020年第35届ACM/IEEE计算机科学逻辑研讨会论文集，LICS 2020，虚拟事件，2020年7月8日至11日。纽约州纽约市：计算机协会（ACM）。1-6 (2020).
MSC公司：68问题85 2015年3月1日
PDF格式BibTeX公司 XML格式引用
\textit{J.Leroux}，in：2020年第35届ACM/IEEE计算机科学逻辑年会论文集，LICS 2020，虚拟事件，2020年7月8-11日。纽约州纽约市：计算机协会（ACM）。1-6（2020年；Zbl 1506.68061）
全文： 内政部 哈尔
波戈里利，S。;斯林科，M。

异构体系结构中应用程序设计的建模和验证方法。 （英语。俄文原件） Zbl 1496.68038号

赛博。系统。分析。 56，第4号，683-688（2020）; 翻译自Kibern。修女。分析。2020年，第4期，196-202（2020）。
MSC公司：2007年7月68日 60年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{S.Pogoryy}和\textit{M.Slynko}，Cybern。系统。分析。56，第4号，683--688（2020；Zbl 1496.68038）；翻译自Kibern。修女。分析。2020年，第4期，196--202（2020）
全文： 内政部
阿兰·芬克尔;谢尔盖·哈达德;伊戈尔·赫梅尔尼茨基

最小覆盖树结构完整高效。 （英语） Zbl 07250941号

Goubault Larrecq，Jean（编辑）等人，《软件科学和计算结构基础》。第23届国际会议FOSSACS 2020，作为欧洲软件理论与实践联合会议的一部分，于2020年4月25日至30日在爱尔兰都柏林举行。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12077, 237-256 (2020).
MSC公司：68新元 68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{A.Finkel}等人，Lect。注释计算。科学。12077，237--256（2020；Zbl 07250941）
全文： 内政部
曼努埃尔·纳瓦罗·古铁雷斯;杰米·瓦尔迪兹（Jaime A.Fraustro-Valdez）。;安东尼奥·拉米雷斯·特雷维尼奥;曼纽尔·席尔瓦

Mono-T-Semiflow网上的问题配置和选择连接对：走向行为-结构特性的表征。 （英语） Zbl 1448.93209号

离散事件动态。系统。 30，第2期，175-209（2020）.
MSC公司：93元65角 93-10
PDF格式BibTeX公司 XML格式引用
\textit{M.Navarro-Gutiérrez}等人，离散事件动力学。系统。30，第2号，175--209（2020；Zbl 1448.93209）
全文： 内政部
佩妮斯·西蒙;劳拉，福利亚;詹弗兰科，巴尔博;米拉内西·卢西亚诺;朱利亚、萨蒂尼;托蒂斯尼科洛;李奥·彼得罗;梅雷利·伊凡;弗朗西斯卡，科德罗;贝库蒂·马可

在计算生物学模型中集成Petri网和流量平衡方法：一种方法论和计算实践。 （英语） Zbl 1444.92035号

芬达姆。通知。 171，编号1-4，367-392（2020）.
MSC公司：92立方厘米 68问题85 92-08
PDF格式BibTeX公司 XML格式引用
\textit{P.Simone}等人，Fundam。通知。171，编号1--4，367--392（2020；Zbl 1444.92035）
全文： 内政部
卢卡·伯纳迪内洛;卡洛·费里加托;露西娅·波梅尔

展开Petri网中的逻辑和代数：关于并发和因果依赖之间的二重性。 （英语） Zbl 1491.68116号

芬达姆。通知。 171，编号1-4，39-56（2020）.
审核人：达马斯·格鲁斯卡（布拉迪斯拉发）
MSC公司：68问题85 03B70号 06A07年 06第15页
PDF格式BibTeX公司 XML格式引用
\textit{L.Bernardinello}等人，Fundam。通知。171，编号1--4，39-56（2020；Zbl 1491.68116）
全文： 内政部
Vázquez，C.雷纳托;戈梅斯·古铁雷斯（David Gomez-Gutiérrez）;安东尼奥·拉米雷斯·特维尼奥

具有未知输入和Petri网离散动力学的线性混合系统的观测器设计。 （英语） Zbl 1441.93099号

非线性分析。，混合系统。 36，文章ID 100876，22 p.（2020）.
MSC公司：第93页第53页 93个B07 93立方 93立方厘米05 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{C.R.Vázquez}等人，《非线性分析》。，混合系统。36，文章ID 100876，第22页（2020；兹bl 1441.93099）
全文： 内政部
王家存;威廉·特普芬哈特

计算机科学中的形式化方法。 （英语） Zbl 1436.68002号

数学教科书佛罗里达州博卡拉顿：CRC出版社（ISBN 978-0-367-22570-4/hbk；978-1-4987-7532-8/pbk；978-0-429-18418-5/电子书）。十七、294页。(2020).
审核人：罗杰·维尔梅尔（蒙特勒）
MSC公司：68-01 03B44号 03B70号 65年第68季度 60年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{J.Wang}和\textit{W.Tepfenhart}，计算机科学中的形式化方法。佛罗里达州博卡拉顿：CRC出版社（2020；Zbl 1436.68002）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前3名

主字段

全部的 前3名

软件