- 现行
- 正在执行有效
- 2021-11-09 颁布
©正版授权
注:本标准为国际组织发行的正版标准,下载后为完整内容;本图片为程序生成,仅供参考,介绍内容如有偏差,以实际下载内容为准
![【正版授权-英语版】 ISO/IEC 15909-3:2021 EN Systems and software engineering - High-level Petri nets - Part 3: Extensions and structuring mechanisms_第1页](http://file4.renrendoc.com/view5/M01/3E/26/wKhkGGaQjkyAQm3-AADkEomPIwk414.jpg)
全文预览已结束
下载本文档
基本信息:
- 标准号: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网技术,提供了各种扩展和结构化机制,如触发器、迁移条件、有向连接器和行为约束等。这些机制可以帮助开发人员更准确地描述软件系统的动态行为和复杂性,从而提供更好的可预测性和可靠性。该标准提供了详细的规范和示例,以帮助开发人员理解和应用这些机制。
温馨提示
最新文档
- 驾驶员服装产品相关项目实施方案
- 卧式储罐定期检验作业指导书
- 项目总投资明细表模板
- 《出纳业务操作》 课后实训任务单 4.7委托收款结算业务处理
- 高温超导材料项目建议书
- 某果酒及配制酒项目建议书
- 格兰德酒店 绩效考核手册
- 高大模板安全施工各项管理计划
- 2024年青海医疗卫生事业单位招聘(药学)备考试题库(含答案解析)
- (必练)执业兽医资格(水生动物类)备考题库宝典(核心题版)
- 医用黏胶相关皮肤损伤知识讲解课件
- 中国医院质量安全管理 第4-6部分:医疗管理 医疗安全(不良)事件管理 T∕CHAS 10-4-6-2018
- 机械设备单体试车记录
- 仓储业的现状及发展方向
- 光伏工程电气项目划分质量控制点
- 如何有效的备美术课
- 高一必修一物理一二章习题及答案
- 常用套管全参数资料
- 办公设备验收单(共2页)
- 放射工作人员职业健康监护档案表整理
- 技术文件编号方法
评论
0/150
提交评论