Generators of COSMOS .gspn files for DTMC models of production line systems (blocking-after-service policy)