There’s a need to secure the paradigm of software-defined networks for many reasons, and one of the methods proposed in our research is to use Petri Nets system to model some proposed working topologies for the SDN ...