请以丙烷为例说明低温液化的冷冻贮存法？

p个进程共享m个同类资源，每一个资源在任一时刻只能供一个进程使用．每一进程对任一资源都只能使用一有限时间，使用完便立即释放。并且每个进程对该类资源的最大需求量小于该类资源的数目。设所有进程对资源的最大需要数目之和小于p+m。试证：在该系统中不会发生死锁。