排序方式: 共有3条查询结果,搜索用时 0 毫秒
1
1.
在PC机上建立了一个由DOS系统支持的图形LOTOS(GLOTOS)软件工具.用这个工具,用户可以设计,显示一个GLOTOS说明,也可以把它转换成Petri网.该系统分为三个模块:DRAW,RECOVER和TRANSFER.根据GLOTOS模型,模块DRAW给出了一个交互式的菜单系统,用这个系统,用户可以在图形窗口的任何位置画出GLOTOS的任一成分;模块RECOVER可以自动恢复以前画好的GLOTOS模型;根据Petri网的表示,模块RECOVER提供了从GLOTOS自动转换到Petri网的功能. 相似文献
2.
在PC机上建立了一个由DOS系统支持的图形LOTOS(GLOTOS)软件工具,用这个工具,用户可以设计,显示一个GLOTOS说明,也可以把它转换成Petri网,该系统分为三个模块:DRAW,RECOVER和TRANSFER,根据GLOTOS模型,模块DRAW给出了一个交互式的菜单,这个系统,用户可以在图形窗口的任何位置画出GLOTOS的任一成分;模块RECOVER可以自动恢复以前画好的GLOTOS 相似文献
3.
各种非环的数据库模式有许多好的性质,特别是在分布式环境中,研究关系数据库的非环性程度是一个重要的课题.对Alpha,Beta,Gamma,Berge这几种非环数据库模式,我们给出一组分布式算法.该算法的最坏消息复杂度是O(|N|2),而最坏时间复杂度是O(|N|2),其中|N|是给定的网络中结点的个数. 相似文献
1