• 现行
  • 正在执行有效
  • 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页
全文预览已结束

下载本文档

基本信息：

  • 标准号：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-1:2019ENSystemsandsoftwareengineering—High-levelPetrinets—Part1:Concepts,definitionsandgraphicalnotation是一套关于系统和软件工程的高层次Petri网的标准，它包含以下主要内容：

一、基本概念

Petri网是一种数学模型，用于描述系统中的动态变化和信息流。它是一种抽象的工具，可用于研究和描述复杂的系统，特别是那些具有异步、并发和分布式特性的系统。

二、定义和图形符号

该标准详细说明了Petri网的各种基本元素和操作，包括库所（Place）、变迁（Transition）、标记（Marking）、流（Flow）、可视性（Visibility）等。此外，还提供了图形符号，用于在Petri网图中表示这些元素和关系。

三、应用范围

该标准适用于各种系统和软件工程领域，包括但不限于软件生命周期中的需求分析、设计、验证、测试和部署等阶段。它特别适用于描述和分析复杂系统的动态行为，以及用于软件可靠性、性能和安全性等方面的研究。

四、优势和局限性

Petri网作为一种通用的建模和仿真工具，具有灵活性和可扩展性等优点。它可以处理各种类型的系统和软件，并提供了可视化和可读性强的图形表示。然而，Petri网也有其局限性，例如对并发和异步行为的建模可能较为复杂，以及对实时系统的适应性可能有限。

ISO/IEC15909-1:2019ENSystemsandsoftwareengineering—High-levelPetrinets—Part1:Concepts,definitionsandgraphicalnotation提供了一套关于Petri网的基本概念、定义

人人文库> 全部分类> 行业资料 > 各类标准

温馨提示

  • 1. 本站所提供的标准文本仅供个人学习、研究之用，未经授权，严禁复制、发行、汇编、翻译或网络传播等，侵权必究。
  • 2. 本站所提供的标准均为PDF格式电子版文本（可阅读打印），因数字商品的特殊性，一经售出，不提供退换货服务。
  • 3. 标准文档要求电子版与印刷版保持一致，所以下载的文档中可能包含空白页，非文档质量问题。
  • 4. 下载后请按顺序安装Reader（点击安装）和FileOpen（点击安装）方可打开。详细可查看标准文档下载声明

最新文档

评论

0/150

提交评论