着色

CPN Tools官方版是来自丹麦的奥尔胡斯大学的一款专用于有色Petri网编辑、模拟和分析的工具。CPN即Colored Petri nets的缩写，它提供的分层建模工具、时间颜色集表示以及自动分析工具使得HTCPN方法可以应用于安全协议的自动分析中。

《按数字着色和按数字绘画（No.Pix Color by Number & Pixel）》是可以来体验一个涂色的小游戏了，填色的简单玩法，能够完成超多的画作了，这里有着更多的色彩的游戏，更多的图片完成吧。

《像素木着色书和装饰手游（pixel woods）》是一款根据数字提示，绘制像素图片的休闲游戏。在这款游戏中，玩家可以见到上百种动植物，并在游戏内为每一只小动物绘制像素图片，作为图鉴保存。游戏内会将各种颜色色块进行拆分，玩家在填涂的过程中，也会慢慢理解游戏上色过程，获得宝贵的绘画经验。