Mininet doesn't actually use PID namespaces yet. They warn that the PID namespace and host filesystem are shared: https://github.com/mininet/mininet/wiki/Introduction-to-Mini...