SMCPN - a self-modifiable petri net model for modeling network events and user manipulations - Liu, Wei (2001)