ISO/IEC 15909-1:2004/AMD1:2010

Systems and software engineering - High-level Petri nets - Part 1: Concepts, definitions and graphical notation - Amendment 1: Symmetric Nets