扩展有色Petri网相关论文
组合Web服务是网构化软件的核心内容,它的运行正确性直接关系到它的可用性和用户满意度。组合Web服务的执行流程通常用“业务流程......
学位
并发控制是多用户数据库管理系统(DBMS)的重要内容之一。该文对其形式化方法进行了研究,建立了符合两段锁协议的扩展有色Petri网模......
在对防空武器系统作战过程分析的基础上,用IDEF(integrated definition method)方法建立了防空武器系统作战过程的功能模型,并使用......
期刊