Sheng Uei Guan, Wei Liu. Self-Modifiable Color Petri Nets for Modeling User Manipulation and Network Event Handling. IEEE Transactions on Computers, 52(7):920-932, 2003. [doi]
@article{GuanL03, title = {Self-Modifiable Color Petri Nets for Modeling User Manipulation and Network Event Handling}, author = {Sheng Uei Guan and Wei Liu}, year = {2003}, url = {http://csdl.computer.org/comp/trans/tc/2003/07/t0920abs.htm}, tags = {modeling}, researchr = {https://researchr.org/publication/GuanL03}, cites = {0}, citedby = {0}, journal = {IEEE Transactions on Computers}, volume = {52}, number = {7}, pages = {920-932}, }