杨松
- 作品数：3 被引量：1H指数：1
- 供职机构：西华大学数学与计算机学院更多>>
- 发文基金：四川省应用基础研究计划项目更多>>
- 相关领域：自动化与计算机技术理学更多>>
- 基于自控网系统的批处理建模及分析被引量：1
- 2006年
- 自控网系统是Petri网系统的一个子类,与P/T系统以及基本网系统相比较,具有更强的描述能力和建模能力。文章以自控网系统为基础,定义了相应的规则,并对一个成品自动化加工批处理过程进行建模,得到自控网模型,运用可达图分析技术对该模型进行了动态行为的分析,得出该模型是结构活性的。
- 赵明峰宋文杨松
- 关键词：并发可达图
- 基于Petri网下递归关系的自控网模型
- 2007年
- 自控网系统是Petri网系统的一个子类,与P/T系统以及基本网系统相比较,具有更强的描述能力和建模能力。本文运用自控网系统定义了加、减、乘、除四种基本运算以及2个算子的自控网模型,通过逐级抽象建立了直接递归的自控网模型。这种分层逐级抽象的方法体现了利用Petri网形式化软件开发的基本思想。
- 杨松宋文卢朝辉
- 关键词：PETRI网递归关系
- 自控网系统的理论及应用研究
- 本文对自控网系统的理论及应用进行了研究。文章指出，Petri网是一个有着深刻的学术内涵，又有着广阔的应用背景的计算机理论与应用的学科分支。作为一种数学工具，可以对Petri网建立状态方程、代数方程以及和逻辑之间的联系等。...
- 杨松
- 关键词：自控网程序设计
- 文献传递
