ข่าวสาร
ขอแสดงความยินดีแก่ อ. ดร.ชานนท์ เดชสุภา อาจารย์ประจำวิทยาลัยการคอมพิวเตอร์
เนื่องในโอกาสได้รับการตีพิมพ์ในวารสาร IEEE Access วารสารในฐาน ISI ควอไทส์ที่ 1 บทความวิจัยเรื่อง "Stepwise Verification for the BPMN with Timed and Stochastic Process Using a colored Generalized Stochastic Petri Net"
ขอแสดงความยินดีแก่ อ. ดร.ชานนท์ เดชสุภา
ขอแสดงความยินดี อ. ดร.ชานนท์ เดชสุภา อาจารย์ประจำวิทยาลัยการคอมพิวเตอร์ เนื่องในโอกาสที่ได้รับการแต่งตั้งให้ดำรงตำแหน่ง ผู้ช่วยศาสตราจารย์ ในสาขาวิชาวิศวกรรมคอมพิวเตอร์ อนุสาขาวิชาวิศวกรรมซอฟต์แวร์ ตั้งแต่วันที่ 22 กันยายน 2565 ตามมติสภามหาวิทยาลัยขอนแก่น ในคราวการประชุมครั้งที่ 3/2566 เมื่อวันที่ 1 มีนาคม 2566
ขอแสดงความยินดีแก่ อ. ดร.ชานนท์ เดชสุภา อาจารย์ประจำวิทยาลัยการคอมพิวเตอร์
ขอแสดงความยินดีแก่ อ. ดร.ชานนท์ เดชสุภา อาจารย์ประจำวิทยาลัยการคอมพิวเตอร์ เนื่องในโอกาสที่ได้รับอาจารย์ประจำหลักสูตรเทคโนโลยีสารสนเทศที่มีบทความวิจัยตีพิมพ์เผยแพร่ในวารสารวิชาการระดับนานาชาติ บทความวิจัย "An Applying Colored Petri Net for Computerized Accounting System and Ledger Accounts Instruction"
ตีพิมพ์ในวารสาร : MDPI Computers (2021)
งานวิจัยที่ตีพิมพ์
HIERARCHICAL BPMN VERIFICATION
This paper proposes a hierarchical verification technique for state space analysis based on a colored Petri net (CPN). A BPMN partitioning technique and rules for the transformation of a BPMN into a CPN model are provided. The partitioning approach supports the unstructured BPMN design model, and the obtained CPN model also supports hierarchical verification.
ACCOUNTING SYSTEM VERIFICATION
This paper proposes a CPNcolored Petri net (CPN)-based model for the instruction of an accounting system focused on the journal entries processes, accounting modules, and accounting transaction flows. The CPN-based language and the model checking tool named CPN are used to represent the accounting system components: a chart of accounts, an account mapping profile, the journal and ledgers system, and the financial report creations.
STOCHASTIC PROCESS VERIFICATION
This paper proposes a quantitative verification approach for analyzing and optimizing IoT manufacturing design models that are designed in business process model and notation (BPMN) representation. The transformation rules of BPMN element into the colored generalized stochastic Petri net (CGSPN) are proposed, and the stepwise approaches for refining and verifying the components of the CGSPN models are illustrated.