Describir: Možnosti prekladu workflow modelov do Petriho sietí