AS/NZS ISO/IEC 15909.1:2022 identically adopts ISO/IEC 15909 1:2019, which defines a Petri net modelling language or technique, called high-level Petri nets, including its syntax and semantics. It provides a reference definition that can be used both within and between organizations, to ensure a common understanding of the technique and of the specifications written using the technique. It also facilitates the development and interoperability of Petri net computer support tools.
