标准摘要 当前记录暂无摘要。 展开完整摘要 英文名称Systems and software engineering - High-level Petri nets - Part 1: Concepts, definitions and graphical notation - Amendment 1: Symmetric Nets