Bounded Petri Net Synthesis from Modal Transition Systems is Undecidable
Bounded Petri Net Synthesis from Modal Transition Systems is Undecidable
复制标题
模态转换系统的有界 Petri 网合成是不可判定的
DOI：
10.4230/lipics.concur.2016.15
复制
发表时间：
2016
期刊：
影响因子：
--
通讯作者：
U. Schlachter
中科院分区：
文献类型：
--
作者：
U. Schlachter
登录
查看更多内容
论模态转换系统中的决定论
影响因子：
1.1
作者：
Nikola Benes;Jan Křetínský;K. Larsen;Jiri Srba
通讯作者：
Jiri Srba
DOI：
10.1007/s10626-006-0008-6
发表时间：
2007
期刊：
Discrete Event Dynamic Systems
影响因子：
--
作者：
Guillaume Feuillade;S. Pinchinat
通讯作者：
S. Pinchinat
具有最大不动点的 Hennessy-Milner 逻辑作为完整的行为规范理论
DOI：
10.1007/978-3-642-40184-8_7
发表时间：
2013
期刊：
Inf. Comput.
影响因子：
--
作者：
Nikola Benes;Benoît Delahaye;U. Fahrenberg;Jan Křetínský;Axel Legay
通讯作者：
Axel Legay
MoTraS：模态转换系统及其扩展的工具
DOI：
10.1007/978-3-319-02444-8_41
发表时间：
2013
期刊：
影响因子：
--
作者：
Jan Křetínský;Salomon Sickert
通讯作者：
Salomon Sickert
Petri 网等价的非原始递归复杂性和不可判定性
DOI：
10.1016/s0304-3975(00)00100-6
发表时间：
2001
期刊：
Theor. Comput. Sci.
影响因子：
--
作者：
P. Jančar
通讯作者：
P. Jančar