GB/T 43037-2023可信性分析技术　佩特里网技术.pdf

ICS21.020 CCSL05 中华人 民共和 国国家标准 / — / : GBT43037 2023IEC625512012 可信性分析技术 佩特里网技术 — Analsistechniuesfordeendabilit Petrinettechniues y q p y q ( : , ) IEC625512012IDT 2023-09-07发布 2023-09-07实施 国家市场监督管理总局 发 布 国家标准化管理委员会 / — / : GBT43037 2023IEC625512012 目 次 前言 ………………………………………………………………………………………………………… Ⅲ 引言 ………………………………………………………………………………………………………… Ⅳ 1 范围 ……………………………………………………………………………………………………… 1 2 规范性引用文件 ………………………………………………………………………………………… 1 、 、 ……………………………………………………………………………… 3 术语 定义 符号和缩略语 1 3.1 术语和定义 ………………………………………………………………………………………… 1 3.2 符号 ………………………………………………………………………………………………… 3 3.3 缩略语 ……………………………………………………………………………………………… 3 4 佩特里网概述 …………………………………………………………………………………………… 4 4.1 非时间低级佩特里网 ……………………………………………………………………………… 4 4.2 时间低级佩特里网 ………………………………………………………………………………… 4 4.3 高级佩特里网 ……………………………………………………………………………………… 5 4.4 佩特里网的扩展与建模 …………………………………………………………………………… 5 5 佩特里网可信性建模与分析 …………………………………………………………………………… 6 5.1 建模的一般步骤 …………………………………………………………………………………… 6 5.2 建模的详细步骤 …………………………………………………………………………………… 7 6 与其他可信性模型的关系……………………………………………………………………………… 11 ( ) …………………………………………………………… 附录 资料性 佩特里网的结构与动态性 A