Technological Developments in Control Models Using Petri Nets for Smart Grids: A Review