Text this: Modelling and reasoning of large scale fuzzy petri net using inference path and bidirectional methods