Logical Inference of Clauses in Petri Net Models Using Fixpoint

• 利用不动点求解子句逻辑推演的Petri网模型