อ. ชานนท์ เดชสุภา
Chanon Dechsupa
Lecturer
Email: chanode@kku.ac.th
Education
Publications



Export To Excel
No Year Paper Name Author Document Type Page Journals/Conferences Citation Doi Source
1 2021 An applying colored petri net for computerized accounting system and ledger accounts instruction Wiwat Vatanawood Worawit Poolsawasdi Arthit Thongtak Chanon Dechsupa Journal Computers 0 10.3390/computers10120169 Scopus
2 2021 An automated framework for bpmn model verification achieving branch coverage Wiwat Vatanawood Arthit Thongtak Chanon Dechsupa Journal 135-150 Engineering Journal 1 10.4186/ej.2021.25.2.135 Scopus
3 2019 Formal verification of the accounting subormation interfaces using colored petri net Worawit Poolsawasdi Chanon Dechsupa Conference Proceeding Proceeding - 5th International Conference on Engineering, Applied Sciences and Technology, ICEAST 2019 2 10.1109/ICEAST.2019.8802547 Scopus
4 2019 Compositional formal verification for business process models with heterogeneous notations using colored petri net W. Vatanawood A. Thongtak Chanon Dechsupa Conference Proceeding 565-570 Lecture Notes in Engineering and Computer Science 1 Scopus
5 2019 Hierarchical Verification for the BPMN Design Model Using State Space Analysis W. Vatanawood A. Thongtak Chanon Dechsupa Journal 16795-16815 IEEE Access 11 10.1109/ACCESS.2019.2892958 Scopus
6 2018 Transformation of the BPMN Design Model into a Colored Petri Net Using the Partitioning Approach W. Vatanawood A. Thongtak Chanon Dechsupa Journal 38421-38436 IEEE Access 14 10.1109/ACCESS.2018.2853669 Scopus
7 2016 Formal verification of web service orchestration using Colored Petri Net W. Vatanawood A. Thongtak Chanon Dechsupa Conference Proceeding 398-403 Lecture Notes in Engineering and Computer Science 5 Scopus
8 2011 Configuration management for integrated teaming environment Yachai Limpiyakorn Chanon Dechsupa Conference Proceeding 158-161 2011 International Conference on System Science, Engineering Design and Manufacturing Informatization, ICSEM 2011 0 10.1109/ICSSEM.2011.6081265 Scopus
No Year Paper Name Author Document Type Page Journals/Conferences Citation Doi
1 2021 An applying colored petri net for computerized accounting system and ledger accounts instruction Wiwat Vatanawood Worawit Poolsawasdi Arthit Thongtak Chanon Dechsupa Journal Computers 0 10.3390/computers10120169
2 2021 An automated framework for bpmn model verification achieving branch coverage Wiwat Vatanawood Arthit Thongtak Chanon Dechsupa Journal 135-150 Engineering Journal 1 10.4186/ej.2021.25.2.135
3 2019 Formal verification of the accounting subormation interfaces using colored petri net Worawit Poolsawasdi Chanon Dechsupa Conference Proceeding Proceeding - 5th International Conference on Engineering, Applied Sciences and Technology, ICEAST 2019 2 10.1109/ICEAST.2019.8802547
4 2019 Compositional formal verification for business process models with heterogeneous notations using colored petri net W. Vatanawood A. Thongtak Chanon Dechsupa Conference Proceeding 565-570 Lecture Notes in Engineering and Computer Science 1
5 2019 Hierarchical Verification for the BPMN Design Model Using State Space Analysis W. Vatanawood A. Thongtak Chanon Dechsupa Journal 16795-16815 IEEE Access 11 10.1109/ACCESS.2019.2892958
6 2018 Transformation of the BPMN Design Model into a Colored Petri Net Using the Partitioning Approach W. Vatanawood A. Thongtak Chanon Dechsupa Journal 38421-38436 IEEE Access 14 10.1109/ACCESS.2018.2853669
7 2016 Formal verification of web service orchestration using Colored Petri Net W. Vatanawood A. Thongtak Chanon Dechsupa Conference Proceeding 398-403 Lecture Notes in Engineering and Computer Science 5
8 2011 Configuration management for integrated teaming environment Yachai Limpiyakorn Chanon Dechsupa Conference Proceeding 158-161 2011 International Conference on System Science, Engineering Design and Manufacturing Informatization, ICSEM 2011 0 10.1109/ICSSEM.2011.6081265
No Year Paper Name Author Document Type Page Journals/Conferences Citation Doi
No Year Paper Name Author Document Type Page Journals/Conferences Citation Doi
No Year Name Author Place of Publication Page
No Name Author Academic Work Type Registration Number Registration Date