Petri Net Control Method for Pipe-line Systems and Its Implementation via CIF3. Issue 24 (2019)