Text this: Concurrent software fine‐coarse‐grained automatic modelling by Coloured Petri Nets for model checking