Regulation control in interpreted petri nets under partial observation Academic Article in Scopus