- 现行
- 正在执行有效
- 2004-12-02 颁布
©正版授权
注:本标准为国际组织发行的正版标准,下载后为完整内容;本图片为程序生成,仅供参考,介绍内容如有偏差,以实际下载内容为准
![【正版授权-英语版】 ISO/IEC 15909-1:2004 EN Systems and software engineering - High-level Petri nets - Part 1: Concepts,definitions and graphical notation_第1页](http://file4.renrendoc.com/view5/M00/3E/22/wKhkGGaQjfqADC0ZAADp0Lq-Kc0408.jpg)
全文预览已结束
下载本文档
基本信息:
- 标准号:ISO/IEC 15909-1:2004 EN
- 标准名称:系统与软件工程-高级Petri网-第1部分:概念、定义和图形符号
- 英文名称:Systems and software engineering -- High-level Petri nets -- Part 1: Concepts, definitions and graphical notation
- 标准状态:现行
- 发布日期:2004-12-02
文档简介
ISO/IEC15909是一个国际标准,专门用于系统和软件工程领域,涉及到高级Petri网的部分内容。这个标准分为两部分,第一部分主要关注概念、定义和图形符号。
高级Petri网是一种数学模型,用于描述和模拟复杂系统的动态行为。它被广泛应用于软件工程、系统集成、网络工程、制造系统等领域。
在ISO/IEC15909-1:2004中,定义了以下关键概念和术语:
*库所(Place):表示系统状态的一个区域,可以包含任何类型的数据。
*变迁(Transition):表示系统从一个状态转移到另一个状态的事件。
*Petri网(PetriNet):由库所和变迁组成的图形结构,用于表示系统的动态行为。
*路径(Path):一系列的变迁序列,表示从开始库所到结束库所的完整行为序列。
*有向图(DirectedGraph):用于表示Petri网中库所、变迁和路径之间的有向关系。
此外,标准还定义了Petri网的图形符号,包括库所、变迁、边框、标记等,以及如何将这些符号组合起来表示一个Petri网。
ISO/IEC15909-1:2004标准为使用高级Petri网进行系统和软件工程提供了概念、定义和图形符号
温馨提示
最新文档
- 骑师用棒产品相关项目实施方案
- 高炉产品相关项目实施方案
- 游纪念馆作文300字
- 经济责任典型问题及防范措施
- 数字显示切纸机作业指导书
- 二次结构作业指导书
- 中东及非洲汽车摄像头和激光雷达用粘合剂行业现状及发展机遇分析2024-2030
- 某新型结构不锈钢丝绳项目建议书
- 西师大版小学数学一年级下册期末试卷
- 外科手术学基础(无菌技术等)课件
- 公安宣传培训班课件
- 起重吊车的吊装施工流程详解
- 老年人耳朵健康讲座
- 山东省网上信访信息系统操作手册
- 动力电池PACK组装项目规划设计方案
- 国家基本药物临床应用指南(化学药品)2009年版
- 消防改造工程实施方案(技术方案)
- 食材安全运输方案及保证措施
- 《无缝钢管知识》课件
- 电动牵引车安全教育资料
- 航空航天概论课件
评论
0/150
提交评论