孙海春

作品数：2被引量：1H指数：1
导出分析报告
供职机构：山东科技大学更多>>
发文主题：PETRI网软件开发映射NET函数更多>>
发文领域：自动化与计算机技术更多>>
发文期刊：《中小企业管理与科技》《系统仿真学报》更多>>
所获基金：山东省科技发展计划项目山东省“泰山学者”建设工程项目国家重点实验室开放基金国家自然科学基金更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-2
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
Petri网与函数的映射关系研究
《中小企业管理与科技》2010年第9期253-253,共1页孙海霞 孙海春 
山东科技大学研究生创新基金等项目的资助
本文讨论Petri网模型和函数之间的映射问题。用Petri网的运行等效完成程序的执行。为系统中每一个功能模块建立一个Petri网模型,对每个Petri网进行封装,组合所有的Petri网,完成系统的开发。最后,给出一个实例,验证了Petri网与函数之间...
关键词：PETRI网 函数 软件开发体系 可信性 
基于程序Petri网的新型软件开发方法研究被引量：1
《系统仿真学报》2008年第S2期55-58,共4页孙海春 杜玉越 
国家自然科学基金(60773034,90818023,90718012,60803032);山东省科技发展计划项目(2008GG30001024);中国科学院计算机科学国家重点实验室开放课题(SYSKF0804);山东省“泰山学者”建设工程专项经费;山东科技大学研究生创新基金
从软件可信本源出发,提出了一种新型的软件开发体系。基于这种新型的软件开发体系,研究Petri网模型到可执行代码的自动转换问题。创造性地提出程序Petri网的概念,给出程序Petri网的定义,制定程序Petri网的构造规则。进一步地,给出几种基...
关键词：PETRI网 程序Petri网 软件开发体系 可信性 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部