• 现行
  • 正在执行有效
  • 2010-05-20 颁布
©正版授权
注：本标准为国际组织发行的正版标准，下载后为完整内容；本图片为程序生成，仅供参考，介绍内容如有偏差，以实际下载内容为准
【正版授权-英语版】 ISO/IEC 15909-1:2004/AMD1:2010 EN Amendment 1 - Systems and software engineering - High-level Petri nets - Part 1: Concepts,definitions and graphical notation - Symmetric_第1页
全文预览已结束

下载本文档

基本信息：

  • 标准号：ISO/IEC 15909-1:2004/AMD1:2010 EN
  • 标准名称：修订版1-系统与软件工程-高级Petri网-第1部分：概念、定义和图形符号-对称网
  • 英文名称：Amendment 1 - Systems and software engineering -- High-level Petri nets -- Part 1: Concepts, definitions and graphical notation - Symmetric Nets
  • 标准状态：现行
  • 发布日期：2010-05-20

文档简介

ISO/IEC15909-1:2004/AMD1:2010EN是一个关于系统和软件工程的国际标准，它专门关注高层次Petri网的相关内容。Petri网是一种数学模型，用于描述和理解系统中的交互和变化。这个标准特别关注的是对称网，这是一种特殊的Petri网，其结构允许元素之间的对称交互。

在系统与软件工程中，Petri网是一种用于建模、分析和表达软件系统逻辑和行为的有效工具。通过Petri网，我们可以模拟系统的状态变化，分析性能，以及识别和解决潜在的问题。

具体到ISO/IEC15909-1:2004/AMD1:2010ENAmendment1，它主要关注的是高层次Petri网的概念、定义和图形符号。这些概念和定义对于理解和使用Petri网在系统与软件工程中的应用至关重要。

在概念方面，该标准可能涉及Petri网的组件（如库所和标记）以及它们之间的交互规则。定义则是对这些组件和规则的详细描述，以便读者能够理解其含义和用途。

至于图形符号，它是指用图形方式表示Petri网的方法。通过这种方式，我们可以直观地理解Petri网的结构和动态行为。对于对称网来说，它可能特别关注那些允许元素之间对称交互的符号表示。

ISO/IEC15909-1:2004/AMD1:2010ENAmendment1是一个非常重要的标准和指南，对于理解和使用Petri网在系统和软件工程中的应用至关重要。它提供了一个框架，帮助我们理

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

温馨提示

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

最新文档

评论

0/150

提交评论