Operation Integer getPortNb ( portID ; Integer, String system_name), in Class Port

Documentation
returns port_nb