Reduced Rules Based on a Sub-category of Petri-Nets

A reduction algorithm is designed and implemented to analyze the safety. The experimental result indicates that the algorithm efficiently decreases the time to analyze the safety.