Biểu diễn và kiểm chứng tắc nghẽn với xác suất trên mạng cảm ứng không dây bằng coloured petri net