Characterizing Stable Inequalities of Petri Nets
Characterizing Stable Inequalities of Petri Nets
复制标题
表征 Petri 网的稳定不等式
DOI：
10.1007/978-3-319-19488-2_14
复制
发表时间：
2015
期刊：
影响因子：
--
通讯作者：
Jan Sürmeli
中科院分区：
文献类型：
--
作者：
Marvin Triebel;Jan Sürmeli
表达Petri网正确性的一种方法是指定一个线性不等式，要求的每个可达标记满足。一个线性不等式是稳定的，如果它是保持沿着步骤。如果是稳定的，那么验证正确性就简化为检入初始标记。本文利用结构性质刻画了给定Petri网的稳定线性不等式类。从而，我们推广了有关陷阱、共陷阱和不变量的经典结果。我们展示了如何确定一个给定的不等式的稳定性。对于一类不等式，我们给出了一个多项式时间的判定过程。
One way to express correctness of a Petri netis to specify a linear inequality, requiring each reachable marking ofto satisfy. A linear inequalityisstableif it is preserved along steps. Ifis stable, then verifying correctness reduces to checkingin the initial marking of. In this paper, we characterize classes of stable linear inequalities of a given Petri net by means of structural properties. Thereby, we generalize classical results on traps, co-traps, and invariants. We show how to decide stability of a given inequality. For a certain class of inequalities, we present a polynomial time decision procedure.
登录
查看更多内容
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
矢量加法系统可达性问题（更简单的解决方案）
DOI：
10.29007/bnx2
发表时间：
2012
期刊：
Journal of Geophysical Research: Biogeosciences
影响因子：
--
作者：
Jérôme Leroux
通讯作者：
Jérôme Leroux
Presburger归纳不变量的一般向量加法系统可达性问题
DOI：
10.2168/lmcs-6(3:22)2010
发表时间：
2009
期刊：
2009 24th Annual IEEE Symposium on Logic In Computer Science
影响因子：
--
作者：
Jérôme Leroux
通讯作者：
Jérôme Leroux
DOI：
--
发表时间：
1992
期刊：
DUV Informatik
影响因子：
--
作者：
J. Desel
通讯作者：
J. Desel