The paper proposes an approach to solving some verification problems of time Petri nets using linear programming. The approach is based on the observation that
Rule selection has long been a problem of great challenge that has to be solved when developing a rule-based knowledge leing system. Many methods have been prop