-
题名基于Petri网的状态机变迁的形式化方法研究
被引量：3
- 1
-
-
作者
何建伟
姚淑珍
-
机构
北京航空航天大学计算机学院
-
出处
《系统仿真学报》
CAS
CSCD
北大核心
2007年第A01期65-68,共4页
-
基金
航空科学基金资助项目(01F51052)
-
文摘
UML状态机图用来描述一个特定对象生命周期经历各种状态,尽管其表达简单明了,易于理解,但它缺乏准确语义,难以对其进行语义分析和验证的问题。变迁作为状态机图的重要组成部分,同样存在这样的问题,而Petri网有严格的形式化语义,而且有许多成熟的分析方法。为了分析状态机变迁,提出了TES模型,它可以描述状态机的触发器事件和监护条件等元素,然后将几种复合变迁用Petri网描述,最后给出了一个实例,说明模型之间是语义等价的。
-
关键词
PETRI网
状态机变迁
触发器事件
监护条件
形式化方法
-
Keywords
petri net
state machine transition
trigger event
guard condition
formalization method
-
分类号
TP301
[自动化与计算机技术—计算机系统结构]
-
-
题名《民法典》视域下意定监护启动条件研究
被引量：1
- 2
-
-
作者
周素英
林俐
-
机构
阳光学院
北京中银(福州)律师事务所
-
出处
《绥化学院学报》
2023年第8期29-32,共4页
-
基金
福建省中青年教育科研项目“老龄化社会下意定监护启动规则研究”(JAS21435)
-
文摘
意定监护制度作为应对老龄化社会重要法律举措,在实践中已成为成年人特别是老年人安排晚年生活的制度选择。意定监护启动作为意定监护制度关键环节,《民法典》第33条规定以丧失或部分丧失民事行为能力作为启动条件,但实务中该启动条件判断标准不一,也与意定监护制度理念相悖,修改启动条件成为必然趋势。文章探究行为能力与意思能力关系,探讨监督对意定监护启动的重要性,结合我国实际情况,提出以意思能力丧失取代民事行为能力丧失作为新的判断标准,同时增加确定意定监督人作为意定监护启动条件。
-
关键词
意定监护
意定监护启动条件
意识能力
意定监护监督人
-
Keywords
voluntary guardianship
starting conditions of voluntary guardianship
capacity of will
supervisor of voluntary guardianship
-
分类号
D923
[政治法律—民商法学]
-
