Text this: SMCPN - a self-modifiable petri net model for modeling network events and user manipulations /