Promela model for exit_process()

https://people.iut.ac.ir/en/mahmoudzadeh/promela-model-exitprocess