一种基于Petri网的鲁棒死锁避免算法制造技术

本发明专利技术涉及自动制造系统技术领域，尤其涉及一种基于Petri网的鲁棒死锁避免算法。本发明专利技术的目的是对于一个含不可靠资源的自动制造系统，提供一种基于Petri网的鲁棒死锁避免算法，保证系统中无论是否发生资源故障，系统生产都能顺利进行。本发明专利技术在生产过程中不仅可以避免由于资源分配不当造成的死锁，还可以避免不可靠资源发生损坏后系统陷入的堵塞状态。本发明专利技术的死锁避免算法是一种根据Petri网结构进行判断分析的结构分析法，并且采用一种前瞻式的思想来保证系统能够顺利进行，该算法思想简单，实现容易。实现容易。实现容易。

【技术实现步骤摘要】
一种基于Petri网的鲁棒死锁避免算法


[0001]本专利技术涉及自动制造系统
，尤其涉及一种基于Petri网的鲁棒死锁避免算法。

技术介绍

[0002]随着社会的进步和科学技术的迅速发展，市场竞争激烈。为了生存和发展，越来越多的传统制造系统逐渐转变为自动制造系统。采用自动制造系统可以极大的降低制造成本、加速产品生产、提高产品质量，从而获得更高的经济效益。
[0003]自动制造系统是一种资源分配系统，不适当的资源分配会导致死锁发生，死锁会引起系统中的任务得不到完成，带来不必要的损失，因此，对于自动制造系统，最重要的前提就是避免死锁的发生。死锁是一种状态，当系统中的一个工件集合陷入了资源循环等待，每一个工件都在等待同一个集合中的另外一个工件占用的资源。死锁又分成完全死锁和局部死锁，如若局部死锁得不到及时的检测和处理，会扩散到整个系统，最后出现全局死锁。总而言之，只要资源之间出现循环等待，就出现死锁。
[0004]一直以来，对于自动制造系统的关注中心都是由于资源分配不当带来的死锁问题，但是在实际的加工生产过程中，死锁问题除了资本文档来自技高网...

【技术保护点】

【技术特征摘要】
1.一种基于Petri网的鲁棒死锁避免算法，其特征在于，包括以下步骤：S1、初始化，令操作使能变迁集合资源集合S2、采集一个可行标识M和使能变迁t；S3、假设标识M下的故障资源全部修复好，在M下引发变迁t得到新标识Ms；S4、在标识Ms下，当变迁t无前置资源，则变迁t在标识M下是可行的；S5、在标识Ms下，当变迁t的前置资源的token数不为零时，则变迁t在标识M下是可行的；S6、在标识Ms下，当变迁t的前置资源R
st
的token数为零时，则将释放资源R
st
的操作使能变迁放至集合T1中并将资源R
st
放至集合R1中；S7、选择T1\T2中的任意一个变迁t
di
；S8、当变迁t
di
无前置资源且后置资源R
etdi
属于可靠资源，则变迁t在标识M下是可行的；S9、当变迁t
di
无前置资源且后置资源R
etdi
属于不可靠资源，则将变迁t
di
放至集合T2中，执行步骤S7；S10、当变迁t
di
的前置资源R
stdi
的token数不为零时，则变迁t在标识M下是可行的；S11、当变迁t
di
的前置资源R
stdi
的token数为零且R
stdi
属于可靠资源时，则将释放资源R
stdi
的操作使能变迁放至集合T1中，将资源R
std...

【专利技术属性】
技术研发人员：刘慧霞，张铭心，谢巍，钱宸洋，
申请(专利权)人：南通大学，
类型：发明
国别省市：