排序方式： 共有1条查询结果，搜索用时 0 毫秒
1
1.
着色Petri网在UML建模中的应用 总被引：2，自引：0，他引：2
介绍了一种用着色Petri网分析和验证UML模型的方法。该方法把面向对象技术和Petri网理论相结合，构成一种面向对象的着色Petri网模型，简称OPM；并给出了它和UML模型之间相互转换的方法，使得验证分析复杂信息系统的动态行为特征成为可能，是一种具有数学和图形方式相结合的形式化描述。 相似文献
1