高级Petri网是一种基于Petri网的扩展形式，它可以描述更复杂的系统行为。高级Petri网包括了Petri网的所有元素，同时还增加了一些新的元素，如时间、优先级、数据等。高级Petri网可以用于描述并发系统、分布式系统、实时系统等各种类型的系统。

高级Petri网的概念和定义是该标准的核心内容。Petri网是一种描述系统行为的图形化工具，它由库所、迁移和边界组成。库所表示系统中的状态，迁移表示状态之间的转移，边界表示库所和迁移之间的关系。高级Petri网在Petri网的基础上增加了一些新的元素，如时间、优先级、数据等，以更好地描述系统行为。

高级Petri网的图形符号是该标准的另一个重要内容。图形符号是描述高级Petri网的一种形式化方法，它可以使人们更加直观地理解高级Petri网。该标准规定了库所、迁移、标识、边界、事件、条件、动作等元素的图形符号。

高级Petri网的语义是该标准的另一个重要内容。语义是描述高级Petri网的一种形式化方法，它可以使人们更加准确地理解高级Petri网。该标准规定了状态转移、死锁、活锁、安全性、有限性等语义。

高级Petri网的应用是该标准的最后一个重要内容。高级Petri网可以用于描述并发系统、分布式系统、实时系统等各种类型的系统。该标准规定了高级Petri网在这些系统中的建模和分析方法。

总之，ISO/IEC 15909-1:2019标准是关于高级Petri网的概念、定义和图形符号的国际标准。该标准适用于系统工程领域，旨在提供一种描述和分析系统行为的形式化方法。

相关标准
- ISO/IEC 15909-2:2019 Systems and software engineering — High-level Petri nets — Part 2: Extensions to the Petri net interchange format (PNML)
- ISO/IEC 15909-3:2019 Systems and software engineering — High-level Petri nets — Part 3: Interchange format (IF) and XML schema
- ISO/IEC 15909-4:2019 Systems and software engineering — High-level Petri nets — Part 4: Object-oriented extensions
- ISO/IEC 15909-5:2019 Systems and software engineering — High-level Petri nets — Part 5: Deterministic and stochastic Petri nets for performance modelling
- ISO/IEC 15909-6:2019 Systems and software engineering — High-level Petri nets — Part 6: Reliability, availability, maintainability and safety (RAMS) extensions