期刊导航
期刊开放获取
cqvip
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
1
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
层次颜色Petri网在Web信息系统建模中的应用
1
作者
朱正月
《集宁师范学院学报》
2020年第3期1-6,共6页
层次颜色Petri网是一类具有模型描述语言Standard ML、分层功能和图形化描述特性的高级Petri网,拥有仿真工具CPN Tools,是信息系统建模的有效工具,可方便描述信息系统中的控制流、数据流,全面刻画系统业务流程。在给出HCPN一种形式定义...
层次颜色Petri网是一类具有模型描述语言Standard ML、分层功能和图形化描述特性的高级Petri网,拥有仿真工具CPN Tools,是信息系统建模的有效工具,可方便描述信息系统中的控制流、数据流,全面刻画系统业务流程。在给出HCPN一种形式定义基础上,结合智慧校园中的校园一卡通Web信息系统,利用CPN Tools分层构建了该系统的HCPN模型,并对各子CPN系统进行图形化描述、协同运行仿真和分析,运用状态空间工具分析和验证了系统HCPN模型的正确性、可靠性和健壮性。
展开更多
关键词
层次
颜色
petri
网
WEB信息系统
颜色
petri
网
工具包
替代变迁
融合库所
状态空间
下载PDF
职称材料
题名
层次颜色Petri网在Web信息系统建模中的应用
1
作者
朱正月
机构
安徽电子信息职业技术学院信息与智能工程系
出处
《集宁师范学院学报》
2020年第3期1-6,共6页
基金
安徽省2018年度高校学科(专业)拔尖人才学术资助项目(gxbjZD85)
安徽省2017年高等学校省级质量工程项目——物联网应用技术专业团队(2017jxtd104)。
文摘
层次颜色Petri网是一类具有模型描述语言Standard ML、分层功能和图形化描述特性的高级Petri网,拥有仿真工具CPN Tools,是信息系统建模的有效工具,可方便描述信息系统中的控制流、数据流,全面刻画系统业务流程。在给出HCPN一种形式定义基础上,结合智慧校园中的校园一卡通Web信息系统,利用CPN Tools分层构建了该系统的HCPN模型,并对各子CPN系统进行图形化描述、协同运行仿真和分析,运用状态空间工具分析和验证了系统HCPN模型的正确性、可靠性和健壮性。
关键词
层次
颜色
petri
网
WEB信息系统
颜色
petri
网
工具包
替代变迁
融合库所
状态空间
Keywords
Hierarchical Colored
petri
Net
Web information system
CPN Tools
substitution transition
fusion place
state space
分类号
TP391 [自动化与计算机技术—计算机应用技术]
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
层次颜色Petri网在Web信息系统建模中的应用
朱正月
《集宁师范学院学报》
2020
0
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
