-
题名基于遗传算法的最小初始标识估计
- 1
-
-
作者
卞宏亚
-
机构
中国石油大学(华东)计算机科学与技术学院
-
出处
《计算机技术与发展》
2024年第7期154-160,共7页
-
基金
山东省自然科学基金资助项目(ZR2020MF094)
国家自然科学基金资助项目(61402216)。
-
文摘
在考虑标注序列时,计算带有不可观测变迁的标注Petri网的最小初始标识集是一个复杂的任务。现有解决这一问题的方法存在多种限制。该文采用一种基于遗传算法的方法来估计最小初始标识。由于可能存在多个初始标识(通常是无限多个),关注点在于获得Petri网中的最小初始标识集,其中满足以下条件:初始标识允许至少一种触发序列与观察到的标注序列和网络结构一致;初始标识具有最小的托肯总数(即在所有库所上的托肯总数最小);对于每次观测到的标注,允许每个可观测变迁发生之前至多一个不可观测变迁发生。鉴于最小初始标识的估计属于NP-hard类别,因此采用此类算法是合理的。通过实验证明了该方法的有效性。与现有算法相比,该算法能够以更小的计算代价获得最小初始标识。
-
关键词
离散事件系统
PETRI网
初始标识估计
不可观测变迁
变迁触发序列
-
Keywords
discrete event systems
Petri nets
initial marking estimates
unobservable transition
transition firing sequence
-
分类号
TP301.1
[自动化与计算机技术—计算机系统结构]
-
-
题名计算一类递归方程的增广Petri网模型
被引量：3
- 2
-
-
作者
崔焕庆
吴哲辉
张广胜
-
机构
山东科技大学信息学院
-
出处
《系统仿真学报》
CAS
CSCD
2003年第z1期40-42,共3页
-
基金
国家自然科学基金(60173053)
-
文摘
递归方程的计算一直是一个较为复杂的问题,为更好的解决这一问题,建立各种模型是十分必要的。斐波那契数列是一个著名的递归方程,在这个方程的基础上,针对同类的递归方程建立了增广Petri网模型,并对模型的运行进行了分析。
-
关键词
增广PETRI网
递归方程
变迁发生序列
矩阵
-
Keywords
extended Petri net
recursion
transition firing sequence
matrix
-
分类号
O24
[理学—计算数学]
-
