一种用于建：头治龇植际较低承形氖Чぞ，由库所（位置）、变迁、弧和令牌组成的二分图，支持并发、异步和分布式系统的描述与验证。
| 标准号 & 类别 | 标准名称 | 发布 |
|---|---|---|
| AS/NZS ISO/IEC 15909.1:2022 规范标准 |
系统和软件工程 高级 Petri 网 第1部分：概念、定义和图形表示法 Systems and software engineering — High-level Petri nets, Part 1: Concepts, definitions and graphical notation
|
2022-05-27 澳大利亚/新西兰标准 |
| BS EN 62551:2012 指南标准 |
Analysis techniques for dependability. Petri net techniques
|
2012-11-30 英国标准学会 |
| BS ISO/IEC 15909-1:2019 规范标准 |
Systems and software engineering. High-level Petri nets - Concepts, definitions and graphical notation
语义模型 |
2019-09-30 英国标准学会 |
| BS ISO/IEC 15909-3:2021 规范标准 |
Systems and software engineering. High-level Petri nets - Extensions and structuring mechanisms
|
2021-11-30 英国标准学会 |
| CSA ISO/IEC 15909-1:2020 规范标准 |
系统和软件工程 高级 Petri 网 第1部分：概念、定义和图形表示法 Systems and software engineering — High-level Petri nets — Part 1: Concepts, definitions and graphical notation
|
2020 加拿大标准协会 |
| DIN EN 62551:2013-08*VDE 0050-4:2013-08 规范 |
Analysis techniques for dependability
|
2013-08-01 德国标准化学会 |
| IEC 62551:2012 指南标准 |
Analysis techniques for dependability - Petri net techniques
|
2012-10 国际电工委员会 |
| ISO/IEC 15909-2:2011 规范 |
Systems and software engineering - High-level Petri nets - Part 2: Transfer format
|
2011-02-15 国际标准化组织 |
| ISO/IEC 15909-2:2011/Cor 1:2013 技术勘误标准 |
系统与软件工程.高级Petri网.第2部分:转换格式.技术勘误表1 Systems and software engineering.High-level Petri nets.Part 2: Transfer format; Technical Corrigendum 1
|
2013-12 国际标准化组织 |
| LST EN 62551:2013 指南标准 |
依从性分析技术 佩特里网技术 (IEC 62551:2012) Analysis techniques for dependability - Petri net techniques (IEC 62551:2012)
|
2013-03-29 立陶宛标准局 |
| UNE-EN 62551:2014 指南标准 |
Analysis techniques for dependability - Petri net techniques
|
2014-05-28 西班牙标准化协会 |
| VDI 4008 Blatt 4-2008 指南标准 |
Reliability methodology - Petri nets
令牌 |
2008-07 德国机械工程师协会 |
Copyright ?2007-2026 ANTPEDIA, All Rights Reserved
京ICP备07018254号 京公网安备1101085018 电信与信息服务业务经营许可证：京ICP证110310号
页面更新时间: 2026-09-13 16:07