Modelowanie i programowanie metodą Grafpol procedur współbieżnych procesów dyskretnych