ผลงานที่ตีพิมพ์

Stepwise Verification for the BPMN With Timed and Stochastic Process Using a Colored Generalized Stochastic Petri Net

An Applying Colored Petri Net for Computerized Accounting System and Ledger Accounts Instruction

An Automated Framework for BPMN Model Verification Achieving Branch Coverage

Hierarchical Verification of the BPMN Design Model Using the State Space Analysis

Transformation of the BPMN Design Model into a Colored Petri Net Using the Partitioning Approach