Transformation of the BPMN Design Model into a Colored Petri Net Using the Partitioning Approach C Dechsupa, W Vatanawood, A Thongtak IEEE Access, 2018 | 36 | 2018 |
Hierarchical Verification for the BPMN Design Model Using State Space Analysis C Dechsupa, W Vatanawood, A Thongtak IEEE Access, 16795 - 16815, 2019 | 33 | 2019 |
Formal verification of web service orchestration using colored petri net C Dechsupa, W Vatanawood, A Thongtak Proceedings of the international MultiConference of Engineers and Computer …, 2016 | 12 | 2016 |
An Automated Framework for BPMN Model Verification Achieving Branch Coverage C Dechsupa, W Vatanawood, A Thongtak Engineering Journal 25 (2), 135-150, 2021 | 3 | 2021 |
Stepwise verification for the BPMN with timed and stochastic process using a colored generalized stochastic Petri net C Dechsupa, W Vatanawood, A Thongtak IEEE Access 10, 42983-43002, 2022 | 2 | 2022 |
Formal Verification of the Accounting Information Interfaces Using Colored Petri Net W Poolsawasdi, C Dechsupa The 5th Interneational Conference on Engineering, Applied Sciences and …, 2019 | 2 | 2019 |
An Applying Colored Petri Net for Computerized Accounting System and Ledger Accounts Instruction D Chanon, V Wiwat, P Worawit, T Arthit Computers 10 (169), 2021 | 1 | 2021 |
Compositional Formal Verification for Business Process Models with Heterogeneous Notations Using Colored Petri Net C Dechsupa, A Vatanawood, Wiwat and Thongtak IMECS 2019, 2019 | 1 | 2019 |
MorphoNet: A Novel Bivalve Images Classification Framework with Convolutional Neural Network C Dechsupa, P Prasankok, W Vattanawood, A Thongtak Engineering Journal 27 (9), 71-81, 2023 | | 2023 |
Configuration management for integrated teaming environment C Dechsupa, Y Limpiyakorn 2011 International Conference on System science, Engineering design and …, 2011 | | 2011 |
Transforming of the Sequence Diagram into Time-Automata Network S Duangmalai, C Dechsupa | | |
Formal Modelling and Verification of the Traffic Light Control System Design with Time-Automata A Kamput, C Dechsupa | | |
Control, Electrical and Electronic Engineering T Leeudomwong, S Phowichit, W Ussawawongaraya, W Poolsawasdi, ... | | |
การ ทวน สอบ เชิง รูป นัย ของ การ ออกแบบ บี พี เอ็ ม เอ็น โดย ใช้ โมเดล เช็ค กิ ง ชา นนท์ เดช สุภา จุฬาลงกรณ์ มหาวิทยาลัย, 0 | | |