Integrated design of optimal supervisors for the enforcement of static and behavioral specifications in Petri net models