- 现行
- 正在执行有效
- 2004-12-02 颁布
©正版授权
注：本标准为国际组织发行的正版标准，下载后为完整内容；本图片为程序生成，仅供参考，介绍内容如有偏差，以实际下载内容为准
全文预览已结束
下载本文档
基本信息：
- 标准号：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网进行系统和软件工程提供了概念、定义和图形符号
温馨提示
最新文档
- 2025年安徽商贸职业技术学院单招职业倾向性考试题库审定版
- 2025年宝鸡职业技术学院单招职业倾向性测试题库新版
- 2025年沧州医学高等专科学校单招职业倾向性考试题库带答案
- 2025年成都纺织高等专科学校单招职业适应性考试题库必考题
- 智慧科技改变世界
- 2025年北京北大方正软件职业技术学院单招职业适应性考试题库参考答案
- CPSM考试技巧提升试题及答案
- 2025年德阳农业科技职业学院单招职业倾向性测试题库必考题
- 2025年安徽工商职业学院单招职业倾向性考试题库一套
- 南京考试题库及答案
- 下肢静脉曲张的静脉内射频消融术
- 2024至2030年中国冷镦钢行业市场全景分析及投资前景展望报告
- 部编版小学语文四年级下册第二单元教学设计
- 2023年新版冀教版(冀人版)科学四年级下册全册知识点及练习题
- Y -S-T 1685-2024 航空航天热等静压用球形钛合金粉末（正式版）
- 名词性从句专项练习100题(带答案)
- 部编版语文二年级下册第三单元教材解读大单元集体备课
- ISO28000：2022供应链安全管理体系
- 湖北省远安县凤阳山矿区建筑石料用灰岩矿矿产资源开发利用与生态复绿方案（100万吨）
- 集体主义与个人主义中美不同文化背景下价值观念的差异及其文化根源
- 新部编人教版八年级语文下册（全册）测评试卷及答案
评论
0/150
提交评论