Generation and analysis of synthesis rules for petrinet