Business Process Improvement of Production Systems Using Coloured Petri Nets - Mukhlash, Imam; Department of Mathematics; Faculty of Mathematics, Computing, and Data Science; Institut Teknologi Sepuluh Nopember Surabaya, Indonesia (Institute of Advanced Engineering and Science, 2018)