孙海霞
- 作品数：2 被引量：1H指数：1
- 供职机构：东营市技术学院更多>>
- 发文基金：国家重点实验室开放基金国家自然科学基金国家重点基础研究发展计划更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于工作流网的电子商务平台建模技术研究被引量：1
- 2010年
- 建模是系统开发过程中十分重要的一步,传统的图形化建模工具,不能对系统设计的可行性作出定量的分析。提出一种新的软件建模思路,应用工作流网技术完成了对电子商务平台的建模,解决了电子商务平台业务流程与网上银行业务流程的协作问题。运用关联矩阵和状态方程,精确分析了模型的重要性质,应用Petri网模拟分析工具PN-applet,对系统模型进行了模拟运行,并评价了系统设计的可行性,对系统开发有积极的指导意义。
- 李鹏杜玉越孙海霞
- 关键词：工作流网PETRI网电子商务平台关联矩阵
- Petri网与函数的映射关系研究
- 2010年
- 本文讨论Petri网模型和函数之间的映射问题。用Petri网的运行等效完成程序的执行。为系统中每一个功能模块建立一个Petri网模型,对每个Petri网进行封装,组合所有的Petri网,完成系统的开发。最后,给出一个实例,验证了Petri网与函数之间的对应关系。
- 孙海霞孙海春
- 关键词：PETRI网函数
