private void getMPS(string mpsFilePath)
        {
            MPS mps = new MPS();

            mps.getMPSFromFile(mpsFilePath, conn);
            if (mps.GetErrorString() != null)
            {
                if (mps.GetErrorString().Equals("formattazione"))
                {
                    updateLabel(MPSPathLabel, "Il file selezionato non presenta una formattazione corretta");
                }
            }
            else
            {
                updateLabel(MPSPathLabel, "MPS caricato con successo");
            }
        }
        static void getMPSCaller()
        {
            MPS mps = new MPS();

            mps.getMPS(conn, _queue, _signal);
        }