บทความวิจัยพ.ศ. 2558Timed Colored Petri Net (CPN) model of the Session Initiation Protocol (SIP) for formal verification of mobile applications พ.ศ. 2558 ติดต่อนักวิจัยแชร์ บันทึกเข้าสู่ระบบเพื่อบันทึกคำสำคัญSimulation modelmobile applicationsSession initiation protocolSIPColored Petri NetCPNmobile conference callsงานวิจัยในหัวข้อใกล้เคียงModeling and simulation of NFC logical layer peer-to-peer mode using CPN and TA พ.ศ. 2557Tool support for transforming Unified Modelling Language sequence diagram to coloured Petri nets พ.ศ. 2559Modeling Network Evolution by Colored Petri Nets มหาวิทยาลัยเทคโนโลยีพระจอมเกล้าพระนครเหนือ พ.ศ. 2561Automatic Transformation of Ordinary Timed Petri Nets into Event-B for Formal Verification จุฬาลงกรณ์มหาวิทยาลัย พ.ศ. 2561