jude建模工具小巧好用开发及建模适用。

Petri网建模工具

国外的一个建模工具,还不错!

gui design studio是一个建模工具，可以创建网页，窗体等各种界面的模型，是使用者更直观方便的表达出想要表达的东西，这个包里包含安装程序以及使用说明。

流程定义建模工具符合WFMC规范很不错de咚咚

HLAomdttool，whichisusedforhladevelopper

Axure RP Pro是美国Axure Software Solution公司的精心杰作，如果你本身是软件项目经理，Web产品经理，或网站策划工作者，那么你不能不知道这套软件。

一种比较实用的复杂网络建模工具和开发工具。

LINDO能在商业、工业、研究和政府等领域发挥巨大作用的具体事务包括：产品分销、成分混合、生产与个人事务安排、存货管理……在这里不一一列举，但可以肯定的是，LINDO可以大展拳脚的领域是多不胜数的。L

protege本体建模工具

UPPAAL Modeling Tool Tutorial