ISOIEC 15909-32021 系统和软件工程.高级Petri网.第3部分扩展和结构机制标准立项发展报告.docx

*

系统和软件工程高级Petri网第3部分扩展和结构机制标准立项发展报告

StandardizationDevelopmentReport:Systemsandsoftwareengineering—High-levelPetrinets—Part3:Extensionsandstructuringmechanisms

摘要

本报告旨在系统阐述国际标准ISO/IEC15909-3:2021《系统和软件工程高级Petri网第3部分：扩展和结构机制》的立项背景、主要内容、技术特点及行业应用价值。Petri网作为一类重要的形式化建模与分析工具，在并发系统