發送短信 : SMCPN - a self-modifiable petri net model for modeling network events and user manipulations /