Self-modifiable color Petri nets for modeling user manipulation and network event handling - Guan, S.-U. (2014)
10.1109/TC.2003.1214340