Automatic supervisory control for the self‐healing of smart grids based on colored Petri nets. Issue 11 (30th May 2018)