The problem of constructing a Petri net feedback controller, which enforces the conjunction of a set of linear inequalities on the reachable marking of the plant modeled by Petri net, is discussed in this paper. A new net reduction──HMSNR (holding marking sum net reduction), is presented, which fuses all the constrained places into one place whose marking is equal to the sum of the markings of the constrained places. The net reduction eases design of controller and holds remarkable advantage especially for the systems with large scale. The method is proved to be simpler and more efficient than the method presented by Moody, et al., using an applied instance that is also used by Moody, et al.