一类受控Petri网的基于管程的广义互斥控制

本文讨论受控Ｐｅｔｒｉ网的广义互斥控制问题．首先，我们给出了此问题存在管程最小约束控制解的充要条件．然后，对一类其不可控子网为有限状态机的受控Ｐｅｔｒｉ网，证明了其广义互斥控制问题总存在管程最小约束控制解，并给出了综合这一管程控制的算法．

PV操作在GeoView地矿点源信息系统多用户数据输入中的应用

在介绍并发控制和PV操作基本概念的基础上提出了一种基于数据表的实现方法,并进行了编程实现。实验表明,实现后的算法简单、容易理解,并且对并发控制行之有效。