- 废止
- 已被废除、停止使用，并不再更新
- 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-1:2004标准是一套关于系统和软件工程的国际标准，该标准的一部分重点在于高级Petri网（HLPN）的概念、定义和图形表示方法。以下是对此标准的详细解释：
***什么是Petri网**：Petri网是一个数学模型，用于描述分布式系统的结构和行为。它被广泛应用于软件工程、计算机科学、系统和网络设计等领域。
***高级Petri网**：高级Petri网是一种特殊的Petri网，它提供了一种高级别的建模语言，可以更准确地描述复杂系统的行为。
***概念**：在HLPN中，主要有两种类型的节点：库所（Place）和弧（Transition）。库所代表系统中的状态或组件，而弧代表状态之间的转换或交互。这些节点可以通过有向的标记（Marking）进行连接，标记表示系统的当前状态和潜在事件。
***定义**：每个库所都有一定的初始标记值，这表示库所的初始状态。当系统从一个库所转换到另一个库所时，可能会触发一些事件或产生一些结果。这种转换是通过弧完成的，而弧的执行需要一定的条件（称为转移条件）。
***图形表示**：HLPN使用图形化的方式来描述系统的结构和行为。这包括库所、弧和标记的表示方法。这种图形化表示使得HLPN易于理解和分析。
通过理解和使用HLPN，软件工程师和系统设计师可以更有
温馨提示
最新文档
- 财会实操-给代理商现金奖励返点的账务处理
- 焚烧间净化间安装安全施工施工安全保证措施
- 2023七年级道德与法治上册 第二单元 友谊的天空 第五课 交友的智慧 第2框 网上交友新时空说课稿 新人教版
- 2024-2025学年高中历史 第3单元 古代中国的科学技术与文学艺术 第9课 辉煌灿烂的文学教案 新人教版必修3
- 湖北省2022年高考英语押题试卷含解析
- 2023八年级物理上册 第五章 物态变化第2节 溶化和凝固教案（新版）教科版
- 通信工程师：网管系统的应用
- 九年级语文上册 第四单元 15重复与变化教案 鄂教版
- 《谏太宗十思疏》《答司马谏议书》群文阅读教学设计2023-2024学年统编版高中语文必修下册
- 2023三年级英语上册 Unit 1 Hello Part B 第一课时教案 人教PEP
- 2024年赤峰客运驾驶员考试题库
- 中国慢性冠脉综合征患者诊断及管理指南2024版解读
- NB/T 11433-2023煤矿短壁间隔充填采煤技术规范
- 先天性肝纤维化的干细胞治疗策略
- 2024年马拉松比赛项目立项申请报告
- 沪科版八年级（下）数学期末综合考试卷（一）
- 护理操作分析总结报告
- 2024中移铁通限公司甘肃分公司社会招聘20人公开引进高层次人才和急需紧缺人才笔试参考题库（共500题）答案详解版
- 2024年豆腐乳行业未来五年发展预测分析报告
- 特种设备应急预案演练方案
- 《承压设备无损检测 第18部分：涡流阵列检测》行业标准征求意见稿
评论
0/150
提交评论