×

使用展开控制安全的普通Petri网。 (英语) Zbl 1103.68082号

小结:在本文中,我们讨论了如何控制安全地点/过渡网,以避免出现一组禁用标记(mathcal F)的问题。我们说,如果给定的标记集在可达性算子下是闭合的,则它具有REACH属性。我们假设网络的所有跃迁都是可控的,并且禁止标记集(mathcal F)具有REACH属性。
利用展开技术设计了一个最大允许的监督器来解决这个控制问题。管理器采用一组控制位置的形式,添加到原始网络的展开中。
该方法还扩展到防止出现更大的禁止标记集(mathcal F_I)的问题。这是一组禁止标记的超集,还包括所有标记,除非监管人员封锁工厂,否则在有限的步骤内,不可避免地会达到(mathcal F)中的标记。
最后,我们考虑了一个特殊情况,其中控制目标是设计一个用于避免死锁的最大允许监督器,并且我们表明在这种特殊情况下,我们的过程可以通过线性代数技术有效地实现。

MSC公司:

68问题85 并发和分布式计算的模型和方法(进程代数、互模拟、转换网等)

软件:

REACH标准
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

参考文献:

[1] Aghasaryan,A.、Fabre,E.、Benveniste,A.、Boubour,R.和Jard,C.1998年。分布式系统中的故障检测和诊断:部分随机Petri网方法。谨慎。事件动态。系统。8: 203–231. ·Zbl 0916.93074号 ·doi:10.1023/A:1008241818642
[2] Benveniste,A.、Fabre,E.和Haar,S.2003a。马尔可夫网:分布式和并发系统的概率模型。IEEE传输。自动化。合同。48(11): 1936–1950. ·Zbl 1364.93451号 ·doi:10.1109/TAC.2003.819076
[3] Benveniste,A.、Fabre,E.、Haar,S.和Jard,C.2003b。异步离散事件系统诊断,一种网络展开方法。IEEE传输。自动化。合同。48(5): 714–727. ·Zbl 1364.93452号 ·doi:10.1109/TAC.2003.811249
[4] Chu,F.和Xie,X.1997。使用信标和数学编程对Petri网进行死锁分析。IEEE传输。自动化。合同。13(6): 793–804.
[5] Esparza,J.、Römer,S.和Vogler,W.,2002年。麦克米兰展开算法的改进。形式方法系统。设计。20: 285–310. ·Zbl 1017.68085号 ·doi:10.1023/A:1014746130920
[6] Ezpeleta,J.、Colom,J.M.和Martinez,J.,1995年。一种基于Petri网的柔性制造系统死锁预防策略。IEEE传输。自动化。合同。11(3): 173–184.
[7] Giua,A.,Xie,X.2004年。使用展开对具有标记规范的安全普通Petri网进行控制。程序中。IFAC WODES04:第七届离散事件系统研讨会,法国兰斯,第61-66页。
[8] Giua,A.,Xie,X.2005年。使用展开的非阻塞控制Petri网。程序中。第十六届国际会计师联合会世界大会,捷克共和国布拉格·Zbl 1103.68082号
[9] Giua,A.、DiCesare,F.和Silva,M.1992年。具有不可控转移的网络上的广义互斥约束。程序中。1992年IEEE系统、人与控制论国际会议,第974-979页。
[10] Godefroid,P.1996。并行系统验证的部分序方法——状态爆炸问题的一种方法,第1032卷,计算机科学讲稿。斯普林格·弗拉格·Zbl 1293.68005号
[11] 他,K.X.和Lemmon,医学博士,2000年。用n-安全普通Petri网建模的离散事件系统的活性验证。程序中。第21届国际Petri网应用与理论会议(ICATPN 2000),丹麦奥胡斯,计算机科学讲义第1825卷,施普林格出版社,第227-243页·Zbl 0986.68097号
[12] He,K.X.和Lemmon,医学博士,2002年。使用偏序方法对有界普通Petri网进行生命增强监督。IEEE传输。自动化。合同。47(7): 1042–1055. ·Zbl 1364.68286号 ·doi:10.1109/TAC.2002.800641
[13] Hellgren,A.、Fabian,M.和Lennartson,B.,1999年。使用偏序技术的生产系统死锁检测和控制器综合。程序中。1999年IEEE控制应用国际会议,美国夏威夷科哈拉海岸。
[14] McMillan,K.L.1995年。基于展开的状态空间搜索技术。形式方法系统。设计。6(1): 45–65. ·Zbl 0829.68085号 ·doi:10.1007/BF01384314
[15] Murata,T.1989年。Petri网:属性、分析和应用。程序。IEEE 77(4):541–580·数字对象标识代码:10.1109/5.24143
[16] Neumair,C.2002年。无界Petri网的有限展开。Petri Net新闻。63: 5–10.
[17] Park,J.和Reveliotis,S.A.,2001年。具有多资源获取和灵活路由的顺序资源分配系统中的死锁避免。IEEE传输。自动化。合同。46(10): 1572–1583. ·Zbl 1045.93034号 ·doi:10.1009/9.956052
[18] Ramadge,P.和Wonham,W.M.,1989年。离散事件系统的控制。程序。IEEE 77(1):81–98·数字对象标识代码:10.1109/5.21072
[19] Valmari,A.1991年。简化状态空间生成的顽固集。《Petri网进展》,1990年。计算机科学讲义第483卷。Springer-Verlag,第491-515页。
[20] Valmari,A.1994年。最新报道:顽强的布景。Petri Net新闻。46: 6–14.
[21] Xie和Giua,A.2004。使用偏序方法对有界普通Petri网进行生命增强监督的反例。IEEE传输。自动化。合同。49(7): 1217–1219. ·Zbl 1365.68345号 ·doi:10.1109/TAC.2004.831162
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。