Modelirowanie i sintez awtomatizirowannyh sistem na baze setej Petri