Adopts ISO/IEC 15909-1:2004 which specifies and defines a Petri net techniques, including its syntax and semantics. It provides a reference definition that can be used both within and between organisations, to ensure a common understanding of the techniques and of the specifications written using the technique.