Design Minimum Monitors and Maximally Permissive Supervisors Models of FMS by S4PR-Nets | IEEE Conference Publication | IEEE Xplore