For responsiveness, in the Petri nets theory framework deadlock prevention policies based elementary siphons control are often utilized to deal with deadlocks caused by the sharing of resources in flexible manufacturi...For responsiveness, in the Petri nets theory framework deadlock prevention policies based elementary siphons control are often utilized to deal with deadlocks caused by the sharing of resources in flexible manufacturing system (FMS) which is developing the theory of efficient strict minimal siphons of an S3PR. Analyzer of Petri net models and their P-invariant analysis, and deadlock control are presented as tools for modelling, efficiency structure analysis, control, and investigation of the FMSs when different policies can be implemented for the deadlock prevention. We are to show an effective deadlock prevention policy of a special class of Petri nets namely elementary siphons. As well, both structural analysis and reachability graph analysis and simulation are used for analysis and control of Petri nets. This work is successfully applied Petri nets to deadlock analysis using the concept of elementary siphons, for design of supervisors of some supervisory control problems of FMS and simulation of Petri net tool with MATLAB.展开更多
It has been a hot research topic to synthesize maximally permissive controllers with fewest monitors. So far, all maximally permissive control models for a well-known benchmark are generalized Petri net, which com-pli...It has been a hot research topic to synthesize maximally permissive controllers with fewest monitors. So far, all maximally permissive control models for a well-known benchmark are generalized Petri net, which com-plicates the system. In addition, they all relied on time-consuming reachability analysis. Uzam and Zhou ap-ply First-met-bad-marking (FBM) method to the benchmark to achieve a near maximal permissive control policy with the advantage of no weighted control (WC) arcs. To improve the state of the art, it is interesting to synthesize optimal controller with as few weighted arcs as possible since it is unclear how to optimize the control for siphon involving WC arcs, This paper explores the condition to achieve optimal controller with-out WC and defining a new type of siphon, called α-siphon. If the condition is not met, one can apply the technique by Piroddi et al. to synthesize optimal controllers with WC.展开更多
Li and Zhou propose to add monitors Vs to elementary siphons S only while controlling the rest of dependent siphons - important for large systems but far from being maximally permissive. The control policy for weakly ...Li and Zhou propose to add monitors Vs to elementary siphons S only while controlling the rest of dependent siphons - important for large systems but far from being maximally permissive. The control policy for weakly dependent siphons (WDS) is rather conservative due to some negative terms in the controllability. We show that this is no longer true as can be shown that it has the same controllability as that for strongly dependent siphons.展开更多
Pulmonary fibrosis is a devastating lung disease without effective treatment options. Sphingosine-1-phosphate receptor 3 (S1pr3), a receptor for the lipid signaling moleculesphingosine-1-phosphate, has been shown to m...Pulmonary fibrosis is a devastating lung disease without effective treatment options. Sphingosine-1-phosphate receptor 3 (S1pr3), a receptor for the lipid signaling moleculesphingosine-1-phosphate, has been shown to mediate the development of pulmonary fibrosis,although the underlying mechanism is not fully understood. Here, we found increased expression of S1pr3 in the lung during the process of bleomycin-induced pulmonary fibrosis in miceand specific overexpression of S1pr3 in the infiltrated M2 macrophages. We constructed LysM-Cre^(+)/S1pr3^(flox/flox) mice, in which S1pr3 was conditionally depleted in myeloid cells, andthis depletion protected mice from bleomycin-induced lung injury and fibrosis, with reducedM2 macrophage accumulation in the lung. Increased S1pr3 expression was found in bonemarrow-derived macrophages after alternatively activated by IL4 ex vivo, while loss ofS1pr3 attenuated IL-4-induced M2 polarization in bone marrow-derived macrophages by repressing the PI3K/Akt-Stat3 signaling pathway. Moreover, the S1pr3 inhibitors CAY10444 andTY52156 exerted protective effects on pulmonary fibrosis in mice. Taken together, ourresearch showed that inhibition of S1pr3 ameliorates bleomycin-induced pulmonary fibrosisby reducing macrophage M2 polarization via the PI3K/Akt-Stat3 signaling pathway, indicatingthat S1pr3 may be a potential target for pulmonary fibrosis treatment.展开更多
文摘For responsiveness, in the Petri nets theory framework deadlock prevention policies based elementary siphons control are often utilized to deal with deadlocks caused by the sharing of resources in flexible manufacturing system (FMS) which is developing the theory of efficient strict minimal siphons of an S3PR. Analyzer of Petri net models and their P-invariant analysis, and deadlock control are presented as tools for modelling, efficiency structure analysis, control, and investigation of the FMSs when different policies can be implemented for the deadlock prevention. We are to show an effective deadlock prevention policy of a special class of Petri nets namely elementary siphons. As well, both structural analysis and reachability graph analysis and simulation are used for analysis and control of Petri nets. This work is successfully applied Petri nets to deadlock analysis using the concept of elementary siphons, for design of supervisors of some supervisory control problems of FMS and simulation of Petri net tool with MATLAB.
文摘It has been a hot research topic to synthesize maximally permissive controllers with fewest monitors. So far, all maximally permissive control models for a well-known benchmark are generalized Petri net, which com-plicates the system. In addition, they all relied on time-consuming reachability analysis. Uzam and Zhou ap-ply First-met-bad-marking (FBM) method to the benchmark to achieve a near maximal permissive control policy with the advantage of no weighted control (WC) arcs. To improve the state of the art, it is interesting to synthesize optimal controller with as few weighted arcs as possible since it is unclear how to optimize the control for siphon involving WC arcs, This paper explores the condition to achieve optimal controller with-out WC and defining a new type of siphon, called α-siphon. If the condition is not met, one can apply the technique by Piroddi et al. to synthesize optimal controllers with WC.
文摘Li and Zhou propose to add monitors Vs to elementary siphons S only while controlling the rest of dependent siphons - important for large systems but far from being maximally permissive. The control policy for weakly dependent siphons (WDS) is rather conservative due to some negative terms in the controllability. We show that this is no longer true as can be shown that it has the same controllability as that for strongly dependent siphons.
基金supported by the General Basic Research Project from the Ministry of Education Key Laboratory of Child Development and Disorders(China)(No.GBRP202115)the Chongqing Science and Technology Bureau Major Project(China)(No.cstc2020jcyj-msxmX0782).
文摘Pulmonary fibrosis is a devastating lung disease without effective treatment options. Sphingosine-1-phosphate receptor 3 (S1pr3), a receptor for the lipid signaling moleculesphingosine-1-phosphate, has been shown to mediate the development of pulmonary fibrosis,although the underlying mechanism is not fully understood. Here, we found increased expression of S1pr3 in the lung during the process of bleomycin-induced pulmonary fibrosis in miceand specific overexpression of S1pr3 in the infiltrated M2 macrophages. We constructed LysM-Cre^(+)/S1pr3^(flox/flox) mice, in which S1pr3 was conditionally depleted in myeloid cells, andthis depletion protected mice from bleomycin-induced lung injury and fibrosis, with reducedM2 macrophage accumulation in the lung. Increased S1pr3 expression was found in bonemarrow-derived macrophages after alternatively activated by IL4 ex vivo, while loss ofS1pr3 attenuated IL-4-induced M2 polarization in bone marrow-derived macrophages by repressing the PI3K/Akt-Stat3 signaling pathway. Moreover, the S1pr3 inhibitors CAY10444 andTY52156 exerted protective effects on pulmonary fibrosis in mice. Taken together, ourresearch showed that inhibition of S1pr3 ameliorates bleomycin-induced pulmonary fibrosisby reducing macrophage M2 polarization via the PI3K/Akt-Stat3 signaling pathway, indicatingthat S1pr3 may be a potential target for pulmonary fibrosis treatment.
