Transformation of the BPMN Design Model into a Colored Petri Net Using the Partitioning Approach. - Chanon Dechsupa; Wiwat Vatanawood; Arthit Thongtak (IEEE Access, 2018)

Hierarchical Verification for the BPMN Design Model Using State Space Analysis. - Chanon Dechsupa; Wiwat Vatanawood; Arthit Thongtak (IEEE Access, 2019)

An Applying Colored Petri Net for Computerized Accounting System and Ledger Accounts Instruction. - Chanon Dechsupa; Wiwat Vatanawood; Worawit Poolsawasdi; Arthit Thongtak (Comput., 2021)

Stepwise Verification for the BPMN With Timed and Stochastic Process Using a Colored Generalized Stochastic Petri Net. - Chanon Dechsupa; Wiwat Vatanawood; Arthit Thongtak (IEEE Access, 2022)

Scalable Timed-Automata Models for Traffic Light Control Systems: Challenges and Solutions in Formal Verification. - Apipath Kamput; Chanon Dechsupa; Wiwat Vatanawood; Suttinan Pomsiri (IEEE Access, 2024)

Llm-Based Code Comment Summarization: Efficacy Evaluation and Challenges. - Peeradon Sukkasem; Chitsutha Soomlek; Chanon Dechsupa (KST, 2025)

Toward AI-Augmented Formal Verification: A Preliminary Investigation of ENGRU and Its Challenges. - Chanon Dechsupa; Teerapong Panboonyuen; Wiwat Vatanawood; Praisan Padungweang; Chakchai So-In (IEEE Access, 2025)

Toward automated verification of timed business process models using timed-automata networks and temporal properties. - Chanon Dechsupa; Wiwat Vatanawood; Arthit Thongtak (Inf. Sci., 2025)