translate section modelling concurrent system
translate first paragraph of promela