บทความวิจัยพ.ศ. 2562Process tree-based analysis method of DECLARE relation constraints in acyclic bridge-less well-structured workflow nets พ.ศ. 2562 ติดต่อนักวิจัยแชร์ บันทึกเข้าสู่ระบบเพื่อบันทึกคำสำคัญPetri netConstraintDECLARELinear Temporal Logic (LTL)process treeworkflow netงานวิจัยในหัวข้อใกล้เคียงAlgorithm to convert signal interpreted petri net models to programmable logic controller ladder logic diagram models Universiti Teknologi Malaysia พ.ศ. 2561Hierarchy process mining from multi-source logs พ.ศ. 2560Determining process model using Time-based Process Mining and control-flow pattern พ.ศ. 2559Process improvement of LSA for semantic relatedness computing พ.ศ. 2557