A Method to Quickly Determine Some Non-Reachable Markings in Cyclic Petri Nets Based on State Equation.