Formalizing a Decision Table into Petri Nets. - Thanatta Mankong; Wiwat Vatanawood (ICSEB, 2019)