أرسل هذا في رسالة قصيرة: SMCPN - a self-modifiable petri net model for modeling network events and user manipulations /