×

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

最新 引文 关联
阿兰·芬克尔;谢尔盖·哈达德;伊戈尔·赫梅尔尼茨基

递归Petri网中的可覆盖性和终止性。 （英语） Zbl 07796237号

Donatelli，Susanna（编辑）等人，《Petri网和并发的应用和理论》。第40届国际会议，2019年6月23日至28日，德国亚琛，PETRI NETS 2019，会议记录。查姆：斯普林格。莱克特。注释计算。科学。11522, 429-448 (2019).
MSC公司：第68季度85 2017年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Finkel}等人，Lect。注释计算。科学。11522、429--448（2019；Zbl 07796237）
全文： 内政部 哈尔
谢尔盖·哈达德;西尔万·施密茨;菲利普·施诺贝伦

时间弧Petri网、数据网和其他丰富网络的顺序递归复杂性。 （英语） Zbl 1362.68214号

2012年6月25日至28日，克罗地亚杜布罗夫尼克，2012年第27届ACM/IEEE计算机科学逻辑研讨会论文集，LICS 2012。加利福尼亚州洛斯·阿拉米托斯：IEEE计算机学会（ISBN 978-0-7695-4769-5）。355-364 (2012).
MSC公司：第68季度85 03D20日 2017年第68季度 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{S.Haddad}等人，摘自：2012年第27届ACM/IEEE计算机科学逻辑研讨会论文集，2012年LICS，克罗地亚杜布罗夫尼克，2012年6月25日至28日。加利福尼亚州洛斯·阿拉米托斯：IEEE计算机协会。355--364（2012；Zbl 1362.68214）
全文： 内政部
帕特里夏·鲍耶;谢尔盖·哈达德;皮埃尔·阿莱·雷尼尔

时间Petri网和时间自动机：Zeno序列的鉴别能力。 （英语） Zbl 1133.68383号

Bugliesi，Michele（编辑）等人，《自动化，语言和编程》。2006年7月10日至14日，意大利威尼斯，第33届国际学术讨论会，ICALP 2006。诉讼，第二部分。柏林：施普林格出版社（ISBN 978-3-540-35907-4/pbk）。计算机科学课堂讲稿4052420-431（2006）。
MSC公司：第68季度85 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{P.Bouyer}等人，Lect。注释计算。科学。4052420-431（2006年；Zbl 1133.68383）
全文： 内政部 链接
贝拉德、比阿特丽斯;弗兰克·卡塞兹;谢尔盖·哈达德;莱姆，迪迪埃;奥利维尔·H·鲁克斯。

时间自动机和时间Petri网表达能力的比较。 （英语） Zbl 1175.68270号

Pettersson，Paul（编辑）等，时间系统的形式化建模和分析。第三届国际会议，FORMATS 2005，乌普萨拉，瑞典，2005年9月26-28日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-30946-2/pbk）。计算机科学课堂讲稿3829211-225（2005）。
MSC公司：第68季度85 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{B.Bérard}等人，Lect。注释计算。科学。3829211-225（2005年；Zbl 1175.68270）
全文： 内政部
贝拉德、比阿特丽斯;弗兰克·卡塞兹;谢尔盖·哈达德;莱姆，迪迪埃;奥利维尔·H·鲁克斯。

时间自动机何时弱时间与时间Petri网相似？ （英语） Zbl 1158.68424号

Ramanujam，R.（ed.）等人，FSTTCS 2005：软件技术和理论计算机科学基础。第25届国际会议，印度海得拉巴，2005年12月15日至18日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-30495-9/pbk）。计算机科学课堂讲稿3821273-284（2005）。
MSC公司：第68季度85 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{B.Bérard}等人，Lect。注释计算。科学。3821273-284（2005年；兹比尔1158.68424）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件