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

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