Text this: Logical inference of clauses based on Petri net models.