标准摘要 当前记录暂无摘要。 展开完整摘要 英文名称Systems and software engineering - High-level Petri nets - Part 2: Transfer format - Technical Corrigendum 1