Petri网的死锁问题一直是Petri网研究的重要课题。死锁是柔性制造系统控制器设计时必须要考虑和解决的问题。对一个Petri网模型而言，找到死锁标识，并且利用一定的方法对含有死锁标识的库所进行控制，使得系统不会出现死锁，是一种很好的控制策略。本文针对Petri网建模的并发系统中的死锁问题，利用可达标识树的死锁检测算检测系统死锁的存在，结合Petri网控制器的设计来达到预防和避免死锁的目的。同时，Petri网系统中存在不可控变迁的情况下，如何进行控制器设计问题。本文利用等价线性变换的约束转换算法，把禁止约束转化为允许约束，从而构造出一个新的混合约束。然后在这个混合约束的条件下进行控制器设计，使得系统能避免死锁。主要做了以下工作：1.提出了一种改进的可达标识树的死锁检测算法，从而得到死锁标识和含有死锁标识的库所。2.提出了一种新的混合约束构造方法。利用死锁检测算法得到的死锁标识和含有死锁标识的库所，结合死锁产生的原因，构造出一个混合约束。然后利用混合约束进行控制器设计，使得系统能够避免死锁。3.提出了利用等价线性变换的约束转换算法，构造一个新的混合约束条件，再进行控制器设计,来解决含有不可控变迁的Petri网的死锁问题。