Text this: An algorithm of converting business-process models into monochrome Petri nets on the basis of matrix formulas