×

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

最新的 引文 关联
马西耶·库特尼（编辑）；罗宾·伯根图姆（编辑）；吉安弗兰科·西亚多（编辑）

Petri网事务和其他并发模型XVII。 （英语） Zbl 07815713号

计算机科学课堂讲稿14150.日记账子行。柏林：施普林格出版社（ISBN 978-3-662-68190-9/pbk；978-3-562-68191-6/电子书）。十八、295页。(2024).
MSC公司：68-06 68问题85 00B15号机组
PDF格式BibTeX公司 XML格式引用
\textit{M.Koutny}（编辑）等，《Petri网和其他并发模型事务》十七。柏林：施普林格（2024；Zbl 07815713）
全文： 内政部
维克托·科门科；马西耶·库特尼；亚历克斯·雅科夫列夫

避免控制流的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）
全文： 内政部 链接
马西耶·库特尼（编辑）；Fabrice Kordon公司（编辑）；丹尼尔·莫尔特（编辑）

Petri网事务和其他并发模型XVI。 （英语） Zbl 1492.68020号

计算机科学课堂讲稿13220.日刊Subline。柏林：施普林格出版社（ISBN 978-3-662-65302-9/pbk；978-3-562-65303-6/电子书）。十七、141页。(2022).
MSC公司：68-06 68问题85 00B15号机组
PDF格式BibTeX公司 XML格式引用
\textit{M.Koutny}（ed.）等人，《Petri网和其他并发模型事务》第十六卷。柏林：施普林格（2022；Zbl 1492.68020）
全文： 内政部
里扎德·贾尼基；码头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）
全文： 内政部
马西耶·库特尼（编辑）；Fabrice Kordon公司（编辑）；露西娅·波梅尔（编辑）

Petri网事务和其他并发模型XV。 （英语） Zbl 1462.68004号

计算机科学课堂讲稿12530.日记账子行。柏林：施普林格出版社（ISBN 978-3-662-63078-5/pbk；978-3-562-63079-2/电子书）。十七、185页。(2021).
MSC公司：68-06 68问题85 00B15号机组
PDF格式BibTeX公司 XML格式引用
\textit{M.Koutny}（ed.）等人，《Petri网和其他并发模型的事务处理XV》。柏林：施普林格（2021；Zbl 1462.68004）
全文： 内政部
莫里斯·特比克（编辑）；马西耶·库特尼（编辑）；格列泽戈兹·罗森贝格（编辑）

计算主题的马赛克：从经典到新颖。在Jetty Kleijn 65岁生日之际发行特别版。 （英语） Zbl 1487.00062号

芬丹。通知。 175，编号1-4，v-viii（2020）.
MSC公司：00B15号机组 68-06 01A70号
PDF格式BibTeX公司 XML格式引用
\textit{M.ter Beek}（编辑）等人，Fundam。通知。175，编号1--4，v-viii（2020；Zbl 1487.00062）
全文： 内政部
戴维·德·弗鲁托斯·埃斯克里格；马西耶·库特尼；乌卡斯·米库尔斯基

反转Petri网中的步骤。 （英语） Zbl 07796221号

Donatelli，Susanna（编辑）等人，《Petri网和并发的应用和理论》。第40届国际会议，2019年6月23日至28日，德国亚琛，PETRI NETS 2019，会议记录。查姆：斯普林格。莱克特。注释计算。科学。11522, 171-191 (2019).
MSC公司：68问题85 第68季度55
PDF格式BibTeX公司 XML格式引用
\textit{D.de Frutos Escrig}等人，Lect。注释计算。科学。11522、171--191（2019；Zbl 07796221）
全文： 内政部 链接
马西耶·库特尼（编辑）；露西娅·波梅尔（编辑）；克里斯滕森，拉尔斯·迈克尔（编辑）

Petri网和其他并发模型上的事务XIV。 （英语） Zbl 1428.68032号

计算机科学课堂讲稿11790.日记账子行。柏林：施普林格出版社（ISBN 978-3-662-60650-6/pbk；978-3-562-60651-3/电子书）。十七、255页。(2019).
MSC公司：68-06 68问题85 00B15号机组
PDF格式BibTeX公司 XML格式引用
\textit｛M.Koutny｝（编辑）等人，《Petri网和其他并发模型的事务处理XIV》。柏林：施普林格（2019；Zbl 1428.68032）
全文： 内政部
码头Kleijn；马西耶·库特尼；乌卡斯·米库尔斯基；格列泽戈兹·罗森贝格

反应系统、过渡系统和等效物。 （英语） Zbl 1514.68077号

Böckenhauer，Hans-Joachim（编辑）等人，《低海拔和高海拔之间的冒险》。在尤拉吉·霍姆科维奇60岁生日之际，为他撰写的论文。查姆：斯普林格。莱克特。注释计算。科学。11011, 63-84 (2018).
MSC公司：2007年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{J.Kleijn}等人，Lect。注释计算。科学。11011，63-84（2018；Zbl 1514.68077）
全文： 内政部
戴维·德·弗鲁托斯·埃斯克里格；马西耶·库特尼；乌卡斯·米库尔斯基

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格式引用
\textit{D.de Frutos Escrig}等人，Lect。注释计算。科学。10877207-226（2018年；兹bl 1427.68189）
全文： 内政部
马西耶·库特尼（编辑）；克里斯滕森，拉尔斯·迈克尔（编辑）；沃伊切赫·彭泽克（编辑）

Petri网和其他并发模型上的事务XIII。 （英语） 兹比尔1400.68025

计算机科学课堂讲稿11090.日记账子行。柏林：施普林格出版社（ISBN 978-3-662-58380-7/pbk；978-3-562-58381-4/电子书）。十七、211页。(2018).
MSC公司：68-06 68问题85 00B25型
PDF格式BibTeX公司 XML格式引用
\textit{M.Koutny}（ed.）等人，《Petri网和其他并发模型的事务》XIII。柏林：施普林格出版社（2018；Zbl 1400.68025）
全文： 内政部
马西耶·库特尼（编辑）；码头Kleijn（编辑）；沃伊切赫·彭泽克（编辑）

Petri网事务和其他并发模型XII。 （英语） Zbl 1372.68015号

计算机科学课堂讲稿10470.日记账子行。柏林：施普林格出版社（ISBN 978-3-662-55861-4/pbk；978-3-562-55862-1/电子书）。十七、217页。(2017).
MSC公司：68-06 68问题85 00B15号机组
PDF格式BibTeX公司 XML格式引用
\textit{M.Koutny}（ed.）等人，《Petri网和其他并发模型的事务》XII。柏林：施普林格出版社（2017；Zbl 1372.68015）
全文： 内政部
码头Kleijn；马西耶·库特尼；Marta Pietkiewicz-Koutny

具有全局操作和局部性的Petri网的合成。 （英语） Zbl 1422.68171号

Sampaio，Augusto（编辑）等人，《计算的理论方面——ICTAC 2016》。第十三届国际学术讨论会，中华民国台湾台北，2016年10月24日至31日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9965103-120（2016年）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{J.Kleijn}等人，Lect。注释计算。科学。9965，103-120（2016；Zbl 1422.68171）
全文： 内政部 链接
亚瑟·Mę滑雪；马西耶·库特尼；沃伊切赫·彭泽克

对反应系统进行定量验证。 （英语） Zbl 1476.68092号

Amos，Martyn（编辑）等人，《非传统计算和自然计算》。2016年7月11-15日在英国曼彻斯特举行的2016年UCNC第15届国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9726, 142-154 (2016).
MSC公司：2007年第68季度 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Męski}等人，Lect。注释计算。科学。9726，142--154（2016；Zbl 1476.68092）
全文： 内政部 链接
马西耶·库特尼（编辑）；德塞尔，约格（编辑）；码头Kleijn（编辑）

Petri网事务和其他并发模型XI。 （英语） Zbl 1346.68012号

计算机科学课堂讲稿9930.日刊分界线。柏林：施普林格出版社（ISBN 978-3-662-53400-7/pbk；978-3-562-53401-4/电子书）。十八、319页。(2016).
MSC公司：68-06 68问题85 00B15号机组
PDF格式BibTeX公司 XML格式引用
\textit{M.Koutny}（ed.）等人，《Petri网和其他并发模型的事务》XI。柏林：施普林格出版社（2016；Zbl 1346.68012）
全文： 内政部
卡米拉·巴里尔斯卡；马西耶·库特尼；乌卡斯·米库尔斯基；马钦·皮·特考夫斯基

Petri网中的可逆计算与可逆性。 （英语） Zbl 1476.68164号

Devitt，Simon（编辑）等人，《可逆计算》。2016年7月7日至8日，第八届国际会议，RC 2016，意大利博洛尼亚。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9720, 105-118 (2016).
MSC公司：68问题85 2010年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{K.Barylska}等人，Lect。注释计算。科学。9720、105-118（2016年；Zbl 1476.68164）
全文： 内政部 链接
马西耶·库特尼（编辑）；德塞尔，约格（编辑）；谢尔盖，哈达德（编辑）

关于Petri网和其他并发X模型的事务处理。 （英语） Zbl 1362.68013号

计算机科学课堂讲稿9410.日记账子行。柏林：施普林格出版社（ISBN 978-3-662-48649-8/pbk；978-3-562-48650-4/电子书）。十五、175页。(2015).
MSC公司：68-06 68问题85 00B15号机组
PDF格式BibTeX公司 XML格式引用
\textit{M.Koutny}（ed.）等人，《Petri网和其他并发模型的事务处理》X。柏林：施普林格（2015；Zbl 1362.68013）
全文： 内政部
里扎德·贾尼基；码头Kleijn；马西耶·库特尼；乌卡斯·米库尔斯基

广义迹子类的顺序结构。 （英语） Zbl 1423.68309号

Dediu，Adrian-Horia（编辑）等人，《语言和自动机理论与应用》。2015年3月2日至6日在法国尼斯举行的2015年拉丁美洲旅游协会第九届国际会议。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。8977, 689-700 (2015).
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{R.Janicki}等人，Lect。注释计算。科学。8977689-700（2015年；兹比尔1423.68309）
全文： 内政部 链接
托马斯·查泰恩；斯特凡·哈尔；马西耶·库特尼；斯特凡·施温

上下文网络中的非原子转换触发。 （英语） Zbl 1432.68302号

Devillers，Raymond（编辑）等人，Petri网和并发的应用和理论。第36届国际会议，PETRI NETS 2015，比利时布鲁塞尔，2015年6月21日至26日，会议记录。查姆：斯普林格。莱克特。注释计算。科学。9115, 117-136 (2015).
MSC公司：68问题85 第68季度55
PDF格式BibTeX公司 XML格式引用
\textit{T.Chatain}等人，Lect。注释计算。科学。9115、117--136（2015；Zbl 1432.68302）
全文： 内政部 链接
马西耶·库特尼（编辑）；谢尔盖，哈达德（编辑）；亚历克斯·雅科夫列夫（编辑）

Petri网和其他并发IX模型上的事务。 （英语） Zbl 1318.68026号

计算机科学课堂讲稿8910.日记账子行。柏林：施普林格出版社（ISBN 978-3-662-45729-0/pbk；978-3-562-45730-6/电子书）。xiii，179页。(2014).
MSC公司：68-06 68问题85 00B15号机组
PDF格式BibTeX公司 XML格式引用
\textit{M.Koutny}（ed.）等人，《Petri网和其他并发模型事务》IX.柏林：施普林格（2014；Zbl 1318.68026）
全文： 内政部
汉娜·克劳代尔；马西耶·库特尼；段振华

盒代数的区间时态逻辑语义。 （英语） Zbl 1407.68334号

Dediu，Adrian-Horia（编辑）等人，《语言和自动机理论与应用》。2014年3月10日至14日在西班牙马德里举行的2014年拉丁美洲旅游协会第八届国际会议。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。8370, 441-452 (2014).
MSC公司：68问题85 03B44号
PDF格式BibTeX公司 XML格式引用
\textit｛H.Klaudel｝等人，Lect。注释计算。科学。8370、441--452（2014年；Zbl 1407.68334）
全文： 内政部 链接
马西耶·库特尼（编辑）；Wil M.P.范德阿尔斯特。（编辑）；亚历克斯·雅科夫列夫（编辑）

关于Petri网和其他并发模型的事务处理VIII。 （英语） Zbl 1270.68030号

计算机科学课堂讲稿8100.日记账子行。柏林：施普林格出版社（ISBN 978-3-642-40464-1/pbk）。十七、203页。(2013).
MSC公司：68-06 68问题85 00B15号机组
PDF格式BibTeX公司 XML格式引用
\textit{M.Koutny}（ed.）等人，《Petri网和其他并发模型事务》VIII。柏林：施普林格出版社（2013；Zbl 1270.68030）
全文： 内政部
马西耶·库特尼；乌卡斯·米库尔斯基；Marta Pietkiewicz-Koutny

持续和非暴力步骤的分类。 （英语） Zbl 1381.68208号

Colom，José-Manuel（编辑）等人，《Petri网和并发的应用和理论》。第34届国际会议，2013年6月24日至28日，意大利米兰，PETRI NETS 2013。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-38696-1/pbk）。计算机科学课堂讲稿7927210-229（2013）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{M.Koutny}等人，Lect。注释计算。科学。7927，210-229（2013；Zbl 1381.68208）
全文： 内政部 链接
约翰逊·费尔南德斯；马西耶·库特尼；Marta Pietkiewicz-Koutny；丹尼尔·索科洛夫；亚历克斯·雅科夫列夫

GALS系统设计中的步骤持久性。 （英语） Zbl 1381.68200号

Colom，José-Manuel（编辑）等人，《Petri网和并发的应用和理论》。第34届国际会议，2013年6月24日至28日，意大利米兰，PETRI NETS 2013。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-38696-1/pbk）。计算机科学讲座笔记7927190-209（2013）。
MSC公司：68问题85 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{J.Fernandes}等人，Lect。注释计算。科学。7927190-209（2013年；Zbl 1381.68200）
全文： 内政部 链接
码头Kleijn；马西耶·库特尼

Petri网扩展中的因果关系。 （英语） Zbl 1382.68150号

Jensen，Kurt（编辑）等人，《Petri网和其他并发模型事务》VII。柏林：施普林格出版社（ISBN 978-3-642-38142-3/pbk）。计算机科学课堂讲稿7480。《期刊副刊》，225-254（2013）。
MSC公司：68问题85 第68季度55
PDF格式BibTeX公司 XML格式引用
\textit{J.Kleijn}和\textit{M.Koutny}，莱克特。注释计算。科学。7480，225--254（2013；Zbl 1382.68150）
全文： 内政部
库尔特·延森（编辑）；Wil M.P.范德阿尔斯特。（编辑）；詹弗兰科·巴尔博（编辑）；马西耶·库特尼（编辑）；卡斯滕·沃尔夫（编辑）

Petri网事务和其他并发模型VII。 （英语） Zbl 1263.68020号

计算机科学课堂讲稿7480.日刊分界线。柏林：施普林格出版社（ISBN 978-3-642-38142-3/pbk）。xv，423页。(2013).
MSC公司：68-06 68问题85 00B15号机组
PDF格式BibTeX公司 XML格式引用
\textit{K.Jensen}（编辑）等，《Petri网和其他并发模型事务》VII。柏林：施普林格出版社（2013；Zbl 1263.68020）
全文： 内政部
安德烈·埃伦菲赫特；码头Kleijn；马西耶·库特尼；格列泽戈兹·罗森贝格

反应系统：活细胞功能的自然计算方法。 （英语） Zbl 1256.68071号

Hector Zenil（编辑），可计算宇宙。理解和探索作为计算的自然。为纪念阿兰·图灵，罗杰·彭罗斯爵士作了前言。新泽西州哈肯萨克：世界科学（ISBN 978-981-4374-29-3/hbk；978-981-14374-30-9/电子书）。189-208 (2013).
MSC公司：2010年第68季度 2005年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit｛A.Ehrenfeucht｝等人，在：一个可计算的宇宙。理解和探索作为计算的自然。为纪念阿兰·图灵，罗杰·彭罗斯爵士作了前言。新泽西州哈肯萨克：《世界科学》。189-208（2013；Zbl 1256.68071）
全文： 内政部
安德烈·埃伦菲赫特；码头Kleijn；马西耶·库特尼；格列泽戈兹·罗森贝格

最小反应系统。 （英语） Zbl 1382.68070号

Priami，Corrado（编辑）等人，《计算系统生物学学报》第十四卷。细胞过程计算模型特刊。柏林：施普林格出版社（ISBN 978-3-642-35523-3/pbk）。计算机科学课堂讲稿7625。生物信息学课堂讲稿。《期刊副刊》，102-122（2012）。
MSC公司：2005年第68季度 92C40型 92立方厘米
PDF格式BibTeX公司 XML格式引用
\textit{A.Ehrenfeucht}等人，Lect。注释计算。科学。7625、102-122（2012年；Zbl 1382.68070）
全文： 内政部
加布里埃尔·乔巴努；马西耶·库特尼；杰森·斯格尔斯

基于重写策略的定时移动语义。 （英语） Zbl 1315.68191号

Eleftherakis，George（编辑）等人，《软件工程和形式化方法》。第十届国际会议，2012年SEFM，希腊塞萨洛尼基，2012年10月1日至5日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-33825-0/pbk）。计算机科学课堂讲稿75041-155（2012）。
MSC公司：68问题85 68号30 第68季度第42季度
PDF格式BibTeX公司 XML格式引用
\textit{G.Ciobanu}等人，Lect。注释计算。科学。7504141-155（2012年；Zbl 1315.68191）
全文： 内政部 链接
安德烈·埃伦菲赫特；码头Kleijn；马西耶·库特尼；格列泽戈兹·罗森贝格

反应系统中实体的相关性。 （英语） Zbl 1367.68099号

Bordihn，Henning（编辑）等人，《活着的语言》。纪念尤尔根·达索65岁生日的散文。柏林：施普林格出版社（ISBN 978-3-642-31643-2/pbk）。《计算机科学讲义》7300，44-55（2012）。
MSC公司：2005年第68季度 2010年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Ehrenfeucht}等人，Lect。注释计算。科学。7300、44-55（2012；Zbl 1367.68099）
全文： 内政部
马西耶·库特尼（编辑）；伊雷克·乌利多夫斯基（编辑）

CONCUR 2012–并发理论。第23届国际会议，2012年CONCUR，英国泰恩河畔纽卡斯尔，2012年9月4-7日。诉讼程序。 （英语） Zbl 1246.68044号

计算机科学课堂讲稿7454.柏林：施普林格出版社（ISBN 978-3-642-32939-5/pbk）。xiv，580页。（2012年）。
MSC公司：68-06 68问题85 00B25型
PDF格式BibTeX公司 XML格式引用
\textit{M.Koutny}（编辑）和\textit{I.Ulidowski}（主编），CONCUR 2012——并发理论。第23届国际会议，2012年CONCUR，英国泰恩河畔纽卡斯尔，2012年9月4-7日。诉讼程序。柏林：施普林格出版社（2012；Zbl 1246.68044）
全文： 内政部
马西耶·库特尼；Marta Pietkiewicz-Koutny

带局部Petri网的综合问题。 （英语） Zbl 1350.68203号

Jensen，Kurt（编辑）等人，《Petri网和其他并发模型事务》V.Berlin:Springer（ISBN 978-3-642-29071-8/pbk）。计算机科学6900课堂讲稿。《期刊副刊》，160-180（2012）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit｛M.Koutny｝和\textit｛M.Pietkiewicz Koutny｝，Lect。注释计算。科学。6900、160-180（2012年；Zbl 1350.68203）
全文： 内政部 链接
加布里埃尔·乔巴努（编辑）；马西耶·库特尼（编辑）

专题：生物系统的建模和分析。基于2008年9月3日至4日在罗马尼亚Iasi、2009年9月5日在意大利博洛尼亚和2010年8月23日至24日在德国耶拿举行的膜计算和生物启发过程计算（MeCBIC）研讨会上提交的论文。 （英语） 兹比尔1241.68011

西奥。计算。科学。第431234页。（2012年）。
MSC公司：68-06 00B25型 2010年第68季度 92B05型 92-06 2005年第68季度 68问题85 92立方厘米
PDF格式BibTeX公司 XML格式
里扎德·贾尼基；码头Kleijn；马西耶·库特尼

商幺半群与并发行为。 （英语） Zbl 1236.68193号

Martín-Vide，Carlos（编辑），语言方法的科学应用。伦敦：帝国理工学院出版社（ISBN 978-1-84816-544-1/hbk；978-1-84816-545-8/电子书）。数学、计算、语言和生活：数学语言学和语言理论的前沿2，313-385（2011）。
审核人：Jörg Desel（哈根）
MSC公司：68问题85 64岁以下 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{R.Janicki}等人，数学。计算。语言生活：正面。数学。语言学家。兰格·提奥。2313-385（2011；Zbl 1236.68193）
码头Kleijn；马西耶·库特尼

并发的互斥范式。 （英语） Zbl 1330.68209号

Kristensen，Lars M.（编辑）等人，《Petri网的应用和理论》。2011年6月20日至24日，英国纽卡斯尔，第32届国际会议，PETRI NETS 2011。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-21833-0/pbk）。计算机科学课堂讲稿6709228-247（2011）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{J.Kleijn}和\textit{M.Koutny}，莱克特。注释计算。科学。6709228--247（2011年；Zbl 1330.68209）
全文： 内政部
库尔特·延森（编辑）；苏珊娜·多纳泰利（编辑）；马西耶·库特尼（编辑）

Petri网和其他并发模型上的事务IV。 （英语） Zbl 1203.68012号

计算机科学课堂讲稿6550.日记账子行。柏林：施普林格出版社（ISBN 978-3-642-18221-1/pbk）。十七、225页。(2010).
MSC公司：68-06 68问题85 00B15号机组
PDF格式BibTeX公司 XML格式引用
\textit{K.Jensen}（ed.）等人，《Petri网和其他并发模型学报》IV。柏林：施普林格出版社（2010；Zbl 1203.68012）
全文： 内政部
码头Kleijn；马西耶·库特尼

带位置和测试的Petri网。 （英语） Zbl 1285.68106号

Lilius，Johan（编辑）等人，《Petri网的应用和理论》。2010年6月21日至25日，第31届国际会议，PETRI NETS 2010，葡萄牙布拉加。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-13674-0/pbk）。计算机科学讲义6128，19-38（2010）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{J.Kleijn}和\textit{M.Koutny}，莱克特。注释计算。科学。6128、19-38（2010年；Zbl 1285.68106）
全文： 内政部
码头Kleijn；马西耶·库特尼

将步骤覆盖树应用于基于组件的通信系统。 （英语） Zbl 1274.68240号

Arbab，Farhad（编辑）等人，《软件工程基础》，第三届IPM国际会议，FSEN 2009，伊朗基什岛，2009年4月15日至17日。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-642-11622-3/pbk）。计算机科学课堂讲稿5961178-193（2010）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{J.Kleijn}和\textit{M.Koutny}，莱克特。注释计算。科学。5961178--193（2010年；Zbl 1274.68240）
全文： 内政部
库尔特·延森（编辑）；乔纳森·比林顿（编辑）；马西耶·库特尼（编辑）

Petri网和其他并发模型上的事务III。 （英语） Zbl 1177.68011号

计算机科学课堂讲稿5800.日记账子行。柏林：施普林格出版社（ISBN 978-3-642-04854-8/pbk）。十七、275页。(2009).
MSC公司：68-06 68问题85 00B15号机组
PDF格式BibTeX公司 XML格式引用
\textit{K.Jensen}（ed.）等人，《Petri网和其他并发模型汇刊》III。柏林：施普林格出版社（2009；Zbl 1177.68011）
全文： 内政部
码头Kleijn；马西耶·库特尼

抑制剂网的步骤和覆盖性。 （英语） 兹比尔1194.68161

Lodaya，Kamal（编辑）等人，《并发视角》。P.S.Thiagarajan的节日。海得拉巴：大学出版社；佛罗里达州博卡拉顿：CRC出版社（ISBN 978-1-4398-0943-3/hbk）。264-295 (2009).
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit｛J.Kleijn｝和\textit｛M.Koutny｝，在：并发视角中。P.S.Thiagarajan的节日。海得拉巴：大学出版社；佛罗里达州博卡拉顿：CRC出版社。264--295（2009年；Zbl 1194.68161）
阿列克谢·伊利亚索夫；马西耶·库特尼

一种设计多智能体系统的方法和工具。 （英语） Zbl 1157.68420号

Pahl，C.（编辑），软件工程。IASTED国际会议（SE 2008）会议记录，作为IASTED第26届应用信息学国际多会议的一部分，奥地利因斯布鲁克，2008年2月12-14日。卡尔加里：国际科学技术促进发展协会；加利福尼亚州阿纳海姆：Acta出版社（ISBN 978-0-88986-716-1/CROM）。131-136 (2008).
MSC公司：68T05型 68甲19
PDF格式BibTeX公司 XML格式引用
\textit{A.Iliasov}和\textit{M.Koutny}，in：软件工程。IASTED国际会议论文集（SE 2008），作为第26届IASTED应用信息学国际多会议的一部分，奥地利因斯布鲁克，2008年2月12-14日。卡尔加里：国际科学技术促进发展协会（IASTED）；加利福尼亚州阿纳海姆：Acta出版社。131-136（2008；Zbl 1157.68420）
汉娜·克劳代尔；马西耶·库特尼；伊丽莎白·佩尔兹；法兰克·波默罗

通过动态流程创建实现系统的有效验证。 （英语） Zbl 1161.68622号

Fitzgerald，John S.（编辑）等人，《计算的理论方面——ICTAC 2008》。第五届国际学术讨论会，土耳其伊斯坦布尔，2008年9月1日至3日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-85761-7/pbk）。计算机科学课堂讲稿5160186-200（2008）。
MSC公司：68问题85 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit｛H.Klaudel｝等人，Lect。注释计算。科学。5160186-200（2008年；Zbl 1161.68622）
全文： 内政部 哈尔
菲利普·达伦多；马西耶·库特尼；Marta Pietkiewicz-Koutny；亚历克斯·雅科夫列夫

具有分步触发策略的网络合成。 （英语） Zbl 1143.68482号

van Hee，Kees M.（编辑）等人，《Petri网的应用和理论》。第29届国际会议，2008年PETRI NETS，2008年6月23日至27日，中国西安。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-68745-0/pbk）。计算机科学课堂讲稿5062112-131（2008）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{P.Darondeau}等人，Lect。注释计算。科学。5062112-131（2008年；Zbl 1143.68482）
全文： 内政部
马西耶·库特尼；Marta Pietkiewicz-Koutny

具有上下文ARCS和位置的基本网络系统的合成。 （英语） Zbl 1226.68061号

Kleijn，Jetty（编辑）等人，Petri网和其他并发模型——ICATPN 2007。第28届关于Petri网和其他并发模型的应用和理论的国际会议，2007年ICATPN，2007年6月25日至29日，波兰西德尔塞。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-73093-4/pbk）。计算机科学课堂讲稿4546281-300（2007）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit｛M.Koutny｝和\textit｛M.Pietkiewicz Koutny｝，Lect。注释计算。科学。4546、281--300（2007年；Zbl 1226.68061）
全文： 内政部
布莱恩·兰德尔；马西耶·库特尼

失败：定义、建模和分析。 （英语） Zbl 1147.68599号

Jones，Cliff B.（编辑）等人，《计算的理论方面——ICTAC 2007》。第四届国际学术讨论会，中国澳门，2007年9月26日至28日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-75290-5/pbk）。计算机科学课堂讲稿4711260-274（2007）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{B.Randell}和\textit{M.Koutny}，莱克特。注释计算。科学。4711260-274（2007年；Zbl 1147.68599）
全文： 内政部
码头Kleijn；马西耶·库特尼

带范围测试的Petri网过程。 （英语） Zbl 1137.68450号

Penczek，Wojciech（编辑）等人，半个世纪的鼓舞人心的研究。向安东尼·马祖基维奇的科学影响力致敬。阿姆斯特丹：IOS出版社（ISBN 978-1-58603-805-2/pbk）。199-219（2007年）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{J.Kleijn}和\textit{M.Koutny，in：半个世纪的鼓舞人心的研究。向安东尼·马祖基维奇的科学影响力致敬。阿姆斯特丹：IOS出版社。199-219（2007年；Zbl 1137.68450）
雷蒙德·魔鬼队；汉娜·克劳代尔；马西耶·库特尼

用于移动的简单进程代数的Petri网语义。 （英语） Zbl 1273.68254号

Baeten，Jos（ed.）等人，《第12届并发表达性研讨会论文集》（EXPRESS 2005），美国加利福尼亚州旧金山，2005年8月27日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》154，第3期，71-94（2006）。
MSC公司：68问题85 第68季度55
PDF格式BibTeX公司 XML格式引用
\textit{R.Devillers}等人，《电子》。注释Theor。计算。科学。154，第3号，71-94（2006；Zbl 1273.68254）
全文： 链接
H.C.M.克莱因。；M.库特尼。

约束网络的无限过程语义。 （英语） Zbl 1234.68302号

Donatelli，Susanna（编辑）等人，Petri网和其他并发模型——ICATPN 2006。第27届Petri网和其他并发模型的应用和理论国际会议，2006年6月26日至30日，芬兰图尔库。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-34699-9/pbk）。计算机科学课堂讲稿4024282-301（2006）。
MSC公司：68问题85 第68季度55
PDF格式BibTeX公司 XML格式引用
\textit{H.C.M.Kleijn}和\textit{M.Koutny}，莱克特。注释计算。科学。4024282--301（2006年；Zbl 1234.68302）
全文： 内政部
雷蒙德·魔鬼队；汉娜·克劳代尔；马西耶·库特尼

\（\pi\）-微积分术语的Petri网翻译。 （英语） Zbl 1168.68437号

Barkaoui，Kamel（编辑）等人，《计算的理论方面——ICTAC 2006》。第三次国际学术讨论会，突尼斯，突尼斯，2006年11月20日至24日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-48815-6/pbk）。计算机科学课堂讲稿4281138-152（2006）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit｛R.Devillers｝等人，Lect。注释计算。科学。4281、138--152（2006年；Zbl 1168.68437）
全文： 内政部
马西耶·库特尼；Marta Pietkiewicz-Koutny

具有位置的基本网络系统的转换系统。 （英语） Zbl 1151.68538号

Baier，Christel（编辑）等人，CONCUR 2006–并发理论。第17届国际会议，CONCUR 2006，德国波恩，2006年8月27日至30日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-37376-6/pbk）。计算机科学课堂讲稿4137173-187（2006）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{M.库特尼}和\textit{M.Pietkiewicz-Koutny}，莱克特。注释计算。科学。4137173-187（2006年；Zbl 1151.68538）
全文： 内政部
码头Kleijn；马西耶·库特尼

膜系统中的同步和异步。 （英语） Zbl 1187.68240号

Hoogeboom，Hendrik Jan（编辑）等人，《膜计算》。2006年7月17日至21日在荷兰莱顿举行的2006年世界气象大会第七届国际研讨会。修订、精选和邀请论文。柏林：施普林格出版社（ISBN 978-3-540-69088-7/pbk）。计算机科学课堂讲稿436166-85（2006）。
MSC公司：2010年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{J.Kleijn}和\textit{M.Koutny}，莱克特。注释计算。科学。4361、66-85（2006年；Zbl 1187.68240）
全文： 内政部 链接

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

串行

全部的 前5名

出版年份

全部的 前3名

主字段

传记参考

全部的 前3名

软件