- 现行
- 正在执行有效
- 2019-08-27 颁布
![【正版授权-英语版】 ISO/IEC 15909-1:2019 EN Systems and software engineering - High-level Petri nets - Part 1: Concepts,definitions and graphical notation_第1页](http://file4.renrendoc.com/view4/M01/06/36/wKhkGGaQjh6AJTmFAADqybf_OGw884.jpg)
下载本文档
基本信息:
- 标准号:ISO/IEC 15909-1:2019 EN
- 标准名称:系统与软件工程-高级Petri网-第1部分:概念、定义和图形符号
- 英文名称:Systems and software engineering - High-level Petri nets - Part 1: Concepts, definitions and graphical notation
- 标准状态:现行
- 发布日期:2019-08-27
文档简介
ISO/IEC15909是一系列关于系统与软件工程的标准之一。其中,第一部分专门讲述了高层次Petri网的概念、定义和图形表示。
以下是对各个部分的详细解释:
1.Petri网:Petri网是一种数学模型,用于描述系统和软件的状态和变化。它由两种基本元素组成:库所(Place)和变迁(Transition)。库所表示系统的一个状态,而变迁则表示状态的变化。在Petri网中,可以通过观察库所和变迁的数量以及它们之间的互动来了解系统的动态。
2.高层次Petri网:与低层次的物理Petri网不同,高层次Petri网通常用于描述更复杂的系统和软件,包括软件组件之间的交互和分布式系统的行为。高层次Petri网提供了更高级别的抽象,使得建模者可以关注于系统的关键方面,而无需考虑细节。
3.概念:ISO/IEC15909-1定义了高层次Petri网的基本概念,包括系统的状态、状态转换、事件、标记和元数据等。这些概念为建模者和分析人员提供了框架,以描述和理解系统的动态行为。
4.定义:标准中提供了各种定义,包括库所、变迁、标记、事件、模型、模型元素、模型配置、模型状态等。这些定义提供了对Petri网元素的清晰理解,并帮助建模者使用它们来描述和表达系统的行为。
5.图形表示:标准还规定了用于表示Petri网的图形符号,包括库所、变迁、有向和无向边、标记盒等。这些图形符号使得建模者能够直观地表示系统的状态和变化,并与其他利益相关者进行交流。
ISO/IEC15909-1:2019EN标准提供了关于高层次Petri网的概念、定义和图形表示
温馨提示
最新文档
- 交通安全素质教育教学设计
- 人教版二下2.2《除法的初步认识》教学设计
- 通信工程师:移动通信专业技术测试题三
- 2023九年级数学下册 第26章 二次函数26.2 二次函数的图象与性质2二次函数y=ax2+bx+c的图象与性质第1课时 二次函数y=ax2+c的图象与性质教案 (新版)华东师大版
- 2024-2025学年高一英语上学期第二课时第9周教学设计
- 【状元讲练】初中化学人教版九年级上册基础巩固练:6.3 二氧化碳和一氧化碳(学生版)
- 2019-2020学年鲁教五四八年级(上)期末数学试卷(一)(解析)
- 全国苏科版信息技术七年级全册第4章第2节2.《作品评价》教学设计
- 高中数 章末质量评估(二)新人教A版必修3
- 高中数 3-1-2生活中的概率同步检测 北师大版必修3
- GB∕T 4423-2020 铜及铜合金拉制棒
- 门旦峡矿安全事故风险评估报告及生产安全事故应急资源调查报告
- 20XX年南京金陵实验中学新高一分班测试模拟数学试卷解析版
- 漫画脑卒中基础知识篇-PPT课件
- 比热容初中物理教学课件PPT
- 一、“酒店六常管理”的“六常”是什么
- 农民画社团活动教案(共36页)
- 德龙自卸车合格证扫描件(原图)
- 朱仙庄煤矿井下无线通信精准定位系统技术规格书
- 抗燃油在线再生处理新技术
- 保洁频率及标准(1)
评论
0/150
提交评论