ISO/IEC 15909-2:2011/Cor 1:2013

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