Transforming Flowchart into Coloured Petri Nets. - Utumporn Gulati; Wiwat Vatanawood (ICSEB, 2019)