作者:毕忠勤petri网不变式量词消去半代数变迁系统
摘要:基于模板和量词消去建立了一个求解Petri网不变式的算法.引入一个带参模板作为Petri网的候选不变式,再根据不变式必须满足归纳断言初始条件和承接条件,将Petri网的自动生成问题转化为量词消去问题,并求解出带参模板中的参数得到原Petri网的不变式.最后通过两个算例说明了该算法的有效性.
注:因版权方要求,不能公开全文,如需全文,请咨询杂志社
《上海电力学院学报》(CN:31-1518/TM)是一本有较高学术价值的大型双月刊,自创刊以来,选题新奇而不失报道广度,服务大众而不失理论高度。颇受业界和广大读者的关注和好评。 《上海电力学院学报》获1995年上海高校自然科学学报优秀学报;1998年上海高校自然科学学报优秀学报。
省级期刊
人气 239481 评论 36
人气 154697 评论 33
人气 152513 评论 53
人气 124427 评论 54