• 废止
  • 已被废除、停止使用,并不再更新
  • 2010-05-20 颁布
©正版授权
注:本标准为国际组织发行的正版标准,下载后为完整内容;本图片为程序生成,仅供参考,介绍内容如有偏差,以实际下载内容为准
【正版授权-英语版】 ISO/IEC 15909-1:2004/Amd 1:2010 EN Systems and software engineering - High-level Petri nets - Part 1: Concepts,definitions and graphical notation - Amendment 1: Symmetric N_第1页
全文预览已结束

下载本文档

基本信息:

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

文档简介

*网络中的库所和变迁都是对称的,即库所和变迁可以相互转换,没有明显的方向性。

*网络中的变迁具有可逆性,即一个变迁可以同时发生正向和反向两种情况。

*在对称网络中,库所和变迁之间的关系是平等的,没有主次之分。

这种网络在软件工程中有着广泛的应用,例如用于描述系统的并发行为、异步行为、流程控制等。同时,对称网络也适用于描述复杂系统的动态行为,因为它能够捕捉到系统中各种因素之间的相互作用和影响。

此外,对称网络还具有一些其他的特点和优势,例如易于理解和使用、能够方便地与其他软件工程工具集成等。因此,对称网络在软件工程领域得到了广泛的应用和认可。

温馨提示

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

评论

0/150

提交评论