• 现行
  • 正在执行有效
  • 2021-11-09 颁布
©正版授权
注:本标准为国际组织发行的正版标准,下载后为完整内容;本图片为程序生成,仅供参考,介绍内容如有偏差,以实际下载内容为准
【正版授权-英语版】 ISO/IEC 15909-3:2021 EN Systems and software engineering - High-level Petri nets - Part 3: Extensions and structuring mechanisms_第1页
全文预览已结束

下载本文档

基本信息:

  • 标准号:ISO/IEC 15909-3:2021 EN
  • 标准名称:系统与软件工程-高级Petri网-第3部分:扩展和结构化机制
  • 英文名称:Systems and software engineering - High-level Petri nets - Part 3: Extensions and structuring mechanisms
  • 标准状态:现行
  • 发布日期:2021-11-09

文档简介

ISO/IEC15909-3:2021ENSystemsandsoftwareengineering-High-levelPetrinets-Part3:Extensionsandstructuringmechanisms是关于系统和软件工程的高层次Petri网扩展和结构化机制的国际标准。这个标准涵盖了用于软件设计和建模的高级别Petri网技术,提供了各种扩展和结构化机制,如触发器、迁移条件、有向连接器和行为约束等。这些机制可以帮助开发人员更准确地描述软件系统的动态行为和复杂性,从而提供更好的可预测性和可靠性。该标准提供了详细的规范和示例,以帮助开发人员理解和应用这些机制。

温馨提示

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

评论

0/150

提交评论