k-Bounded Petri Net Synthesis from Modal Transition Systems
k-Bounded Petri Net Synthesis from Modal Transition Systems
复制标题
模态转换系统的 k 有界 Petri 网综合
DOI：
10.4230/lipics.concur.2017.6
复制
发表时间：
2017
期刊：
影响因子：
--
通讯作者：
H. Wimmel
中科院分区：
文献类型：
--
作者：
U. Schlachter;H. Wimmel
登录
查看更多内容
DOI：
--
发表时间：
2008
期刊：
International Workshop on Formal Aspects of Component Software
影响因子：
--
作者：
Jean
通讯作者：
Jean
DOI：
10.1016/s0304-3975(96)00219-8
发表时间：
1997-10
期刊：
Theor. Comput. Sci.
影响因子：
--
作者：
Éric Badouel;L. Bernardinello;P. Darondeau
通讯作者：
Éric Badouel;L. Bernardinello;P. Darondeau
MoTraS：模态转换系统及其扩展的工具
DOI：
10.1007/978-3-319-02444-8_41
发表时间：
2013
期刊：
影响因子：
--
作者：
Jan Křetínský;Salomon Sickert
通讯作者：
Salomon Sickert
关于表征可分配性
DOI：
10.2168/lmcs-9(3:17)2013
发表时间：
2013
期刊：
Log. Methods Comput. Sci.
影响因子：
--
作者：
Rob J. van Glabbeek;Ursula Goltz;Jens-Wolfhard Schicke-Uffmann
通讯作者：
Jens-Wolfhard Schicke-Uffmann
模态和混合规格已有 20 年历史
DOI：
--
发表时间：
2008
期刊：
Bull. EATCS
影响因子：
--
作者：
Adam Antonik;M. Huth;K. Larsen;Ulrik Nyman;A. Wąsowski
通讯作者：
A. Wąsowski