A New Approach to Upward-Closed Set Backward Reachability Analysis
Keywords: شبکه پتری; broadcast protocol; petri net; parameterized model checking; well-structured transition system;