ISO/IEC 15909-3:2021

Systems and software engineering - High-level Petri nets - Part 3: Extensions and structuring mechanisms

ISO/IEC 15909-1:2019

Systems and software engineering - High-level Petri nets - Part 1: Concepts, definitions and graphical notation

ISO/IEC 15909-2:2011/COR1:2013

Corrigendum 1 - Systems and software engineering -- High-level Petri nets -- Part 2: Transfer format

ISO/IEC 15909-2:2011

Systems and software engineering - High-level Petri nets - Part 2: Transfer format