Characterizing Stable and Deriving Valid Inequalities of Petri Nets
Characterizing Stable and Deriving Valid Inequalities of Petri Nets
复制标题
表征 Petri 网的稳定性并推导有效的不等式
DOI：
10.3233/fi-2016-1374
复制
发表时间：
2016
期刊：
影响因子：
--
通讯作者：
Jan Sürmeli
中科院分区：
文献类型：
--
作者：
Marvin Triebel;Jan Sürmeli
登录
查看更多内容
Petri 网和交换半群的指数空间完备问题（初步报告）
DOI：
--
发表时间：
1976
期刊：
Symposium on the Theory of Computing
影响因子：
--
作者：
E. Cardoza;R. Lipton;A. Meyer
通讯作者：
A. Meyer
通过模不变量证明不可达性
影响因子：
1.1
作者：
J. Desel;Klaus;M. Radola
通讯作者：
M. Radola
表征 Petri 网的稳定不等式
DOI：
10.1007/978-3-319-19488-2_14
发表时间：
2015
期刊：
影响因子：
--
作者：
Marvin Triebel;Jan Sürmeli
通讯作者：
Jan Sürmeli
使用不变生成的 Petri 网分析
DOI：
--
发表时间：
2003
期刊：
Theory and Practice
影响因子：
--
作者：
S. Sankaranarayanan;H. B. Sipma;Z. Manna
通讯作者：
Z. Manna
子序列不变量
DOI：
--
发表时间：
2008
期刊：
International Conference on Concurrency Theory
影响因子：
--
作者：
Klaus Dräger;B. Finkbeiner
通讯作者：
B. Finkbeiner