期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
3
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
基于面向对象Petri网的设备采购管理系统建模及性能分析
被引量：
4
1
作者
刘炎培
彭晓红
+1 位作者
舒远仲
陈志勇
《计算机工程与科学》
CSCD
北大核心
2010年第10期157-160,共4页
传统的设备采购系统不能随外界环境的变化而进行相应的重组。为此,本文提出了一种基于面向对象Petri网的设备采购系统的工作流模型。该模型将各个对象的内部结构进行封装,避免了相互之间的库所与变迁的定义干涉。模型具有模块化、图形...
传统的设备采购系统不能随外界环境的变化而进行相应的重组。为此,本文提出了一种基于面向对象Petri网的设备采购系统的工作流模型。该模型将各个对象的内部结构进行封装,避免了相互之间的库所与变迁的定义干涉。模型具有模块化、图形化、结构化的特性,提高了设备采购系统的可重用性和可扩展性。以审批部门的OOPN模型为例,求其关联矩阵、可覆盖性树和P不变量,并进行相关性分析,证明了构建的模型具有良好的性能并满足系统变化和重组的要求。
展开更多
关键词
面向对象
PETRI网
设备采购系统
可覆盖性树
关联矩阵
在线阅读
下载PDF
职称材料
基于面向对象时间Petri网的智能电商物流服务系统建模
被引量：
11
2
作者
朱正月
陈增强
《智能系统学报》
CSCD
北大核心
2018年第2期303-313,共11页
电商物流服务系统是一种集商流、物流、信息流和资金流于一体的大规模复杂系统,具有离散事件动态系统的一般特征。将面向对象技术与Petri网相结合,引入时间因素,应用于大规模复杂信息系统建模上,不仅能降低系统模型复杂度,还可以针对模...
电商物流服务系统是一种集商流、物流、信息流和资金流于一体的大规模复杂系统,具有离散事件动态系统的一般特征。将面向对象技术与Petri网相结合,引入时间因素,应用于大规模复杂信息系统建模上,不仅能降低系统模型复杂度,还可以针对模块性能做定量分析。在分析研究电商物流服务系统主要功能和Petri网理论的基础上,给出了一种面向对象时间Petri网(OOTPN)的形式定义,描述了电商物流服务系统的主要对象和业务流程,采用面向对象时间Petri网构建了电商物流服务系统的OOTPN模型,分析了子网的相关时间特性,利用可覆盖性树、关联矩阵对子网的可达性、有界性、守恒性等性质进行了分析,证明了模型系统的可靠性和健壮性,体现了OOTPN模型具有模块化、图形化、结构化特点和可扩展、可重用、易于维护等特性。
展开更多
关键词
面向对象
时间PETRI网
电商物流
智能服务系统
业务流程
可覆盖性树
关联矩阵
建模
在线阅读
下载PDF
职称材料
基于Petri网的协同三维建模工作流模型研究
被引量：
1
3
作者
魏爽
赵红领
+1 位作者
张涛
王宗敏
《计算机应用研究》
CSCD
北大核心
2009年第9期3300-3303,共4页
通过分析大规模三维场景单机建模所面临的局限性问题,对三维场景协同建模理论进行了描述。结合workflow net的定义以及建立工作流模型的方法,采用基于Petri网扩展的、用于复杂工作流模型设计的建模方法建立协同三维建模的工作流模型,并...
通过分析大规模三维场景单机建模所面临的局限性问题,对三维场景协同建模理论进行了描述。结合workflow net的定义以及建立工作流模型的方法,采用基于Petri网扩展的、用于复杂工作流模型设计的建模方法建立协同三维建模的工作流模型,并通过Petri网相关理论分析得出所建模型具有可达性、有界性、活性,并且是安全可靠的,同时对系统中必须加以解决的并发问题进行了相关的探讨。
展开更多
关键词
协同建模
PETRI网
工作流
可达性
可覆盖性树
在线阅读
下载PDF
职称材料
题名
基于面向对象Petri网的设备采购管理系统建模及性能分析
被引量：
4
1
作者
刘炎培
彭晓红
舒远仲
陈志勇
机构
南昌航空大学信息工程学院
出处
《计算机工程与科学》
CSCD
北大核心
2010年第10期157-160,共4页
基金
江西省自然科学基金项目(2008GZS0033)
江西铜业集团公司科技计划项目(2007010)
文摘
传统的设备采购系统不能随外界环境的变化而进行相应的重组。为此,本文提出了一种基于面向对象Petri网的设备采购系统的工作流模型。该模型将各个对象的内部结构进行封装,避免了相互之间的库所与变迁的定义干涉。模型具有模块化、图形化、结构化的特性,提高了设备采购系统的可重用性和可扩展性。以审批部门的OOPN模型为例,求其关联矩阵、可覆盖性树和P不变量,并进行相关性分析,证明了构建的模型具有良好的性能并满足系统变化和重组的要求。
关键词
面向对象
PETRI网
设备采购系统
可覆盖性树
关联矩阵
Keywords
objectoriented
Petri nets
equipment procurement system
coverability tree；incidence matrix
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
基于面向对象时间Petri网的智能电商物流服务系统建模
被引量：
11
2
作者
朱正月
陈增强
机构
安徽电子信息职业技术学院信息与智能工程系
南开大学计算机与控制工程学院
出处
《智能系统学报》
CSCD
北大核心
2018年第2期303-313,共11页
基金
国家自然科学基金项目(61573199)
文摘
电商物流服务系统是一种集商流、物流、信息流和资金流于一体的大规模复杂系统,具有离散事件动态系统的一般特征。将面向对象技术与Petri网相结合,引入时间因素,应用于大规模复杂信息系统建模上,不仅能降低系统模型复杂度,还可以针对模块性能做定量分析。在分析研究电商物流服务系统主要功能和Petri网理论的基础上,给出了一种面向对象时间Petri网(OOTPN)的形式定义,描述了电商物流服务系统的主要对象和业务流程,采用面向对象时间Petri网构建了电商物流服务系统的OOTPN模型,分析了子网的相关时间特性,利用可覆盖性树、关联矩阵对子网的可达性、有界性、守恒性等性质进行了分析,证明了模型系统的可靠性和健壮性,体现了OOTPN模型具有模块化、图形化、结构化特点和可扩展、可重用、易于维护等特性。
关键词
面向对象
时间PETRI网
电商物流
智能服务系统
业务流程
可覆盖性树
关联矩阵
建模
Keywords
object-oriented
time Petri net
E-commerce logistics
intelligent service system
business process
coverability tree
incidence matrix
modeling
分类号
TP391 [自动化与计算机技术—计算机应用技术]
在线阅读
下载PDF
职称材料
题名
基于Petri网的协同三维建模工作流模型研究
被引量：
1
3
作者
魏爽
赵红领
张涛
王宗敏
机构
郑州大学信息工程学院
郑州大学河南省信息网络重点开放实验室
出处
《计算机应用研究》
CSCD
北大核心
2009年第9期3300-3303,共4页
基金
河南省自然科学基金资助项目(0611051900)
文摘
通过分析大规模三维场景单机建模所面临的局限性问题,对三维场景协同建模理论进行了描述。结合workflow net的定义以及建立工作流模型的方法,采用基于Petri网扩展的、用于复杂工作流模型设计的建模方法建立协同三维建模的工作流模型,并通过Petri网相关理论分析得出所建模型具有可达性、有界性、活性,并且是安全可靠的,同时对系统中必须加以解决的并发问题进行了相关的探讨。
关键词
协同建模
PETRI网
工作流
可达性
可覆盖性树
Keywords
collaborative modeling
Petri net
workflow
accessibility
coverability tree
分类号
TP391 [自动化与计算机技术—计算机应用技术]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
基于面向对象Petri网的设备采购管理系统建模及性能分析
刘炎培
彭晓红
舒远仲
陈志勇
《计算机工程与科学》
CSCD
北大核心
2010
4
在线阅读
下载PDF
职称材料
2
基于面向对象时间Petri网的智能电商物流服务系统建模
朱正月
陈增强
《智能系统学报》
CSCD
北大核心
2018
11
在线阅读
下载PDF
职称材料
3
基于Petri网的协同三维建模工作流模型研究
魏爽
赵红领
张涛
王宗敏
《计算机应用研究》
CSCD
北大核心
2009
1
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
