Text this: A decomposition algorithm of fuzzy Petri net using an index function and incidence matrix