Occurrence nets are insufficient to precisely describe executions of elemen-tary net systems with contacts. naditionally, S-complementation is used for re-moval of contacts from the systems. Although the main behavior...Occurrence nets are insufficient to precisely describe executions of elemen-tary net systems with contacts. naditionally, S-complementation is used for re-moval of contacts from the systems. Although the main behavior and propertiesof the original elementary net systems are preserved during S-complementation,their topologies may be changed greatly This paper introduces a new kind ofnets-eopansion nebefor representing behavior of elementary net systems. Asshown in the paper, expansion nets are natural as well as sufficient for describingthe precise behavior of elementary net systems with or without contacts.展开更多
Deadlock avoidance problems are investigated for automated manufacturing systems with flexible routings. Based on the Petri net models of the systems, this paper proposes, for the first time, the concept of perfect ma...Deadlock avoidance problems are investigated for automated manufacturing systems with flexible routings. Based on the Petri net models of the systems, this paper proposes, for the first time, the concept of perfect maximal resourcetransition circuits and their saturated states. The concept facilitates the development of system liveness characterization and deadlock avoidance Petri net supervisors. Deadlock is characterized as some perfect maximal resource-transition circuits reaching their saturated states. For a large class of manufacturing systems, which do not contain center resources, the optimal deadlock avoidance Petri net supervisors are presented. For a general manufacturing system, a method is proposed for reducing the system Petri net model so that the reduced model does not contain center resources and, hence, has optimal deadlock avoidance Petri net supervisor. The controlled reduced Petri net model can then be used as the liveness supervisor of the system.展开更多
Object-oriented Petri nets (OPNs) is extended into stochastic object-oriented Petri nets (SOPNs) by associating the OPN of an object with stochastic transitions and introducing stochastic places. The stochastic transi...Object-oriented Petri nets (OPNs) is extended into stochastic object-oriented Petri nets (SOPNs) by associating the OPN of an object with stochastic transitions and introducing stochastic places. The stochastic transition of the SOPNs of a production resources can be used to model its reliability, while the SOPN of a production resource can describe its performance with reliability considered. The SOPN model of a case production system is built to illustrate the relationship between the system's performances and the failures of individual production resources.展开更多
In order to describe the impacts of adjustment ability of logistics system on the profit and cost of logistics system, we constructed a model of logistics system based on stochastic Petri net （ SPN）, and proposed a ...In order to describe the impacts of adjustment ability of logistics system on the profit and cost of logistics system, we constructed a model of logistics system based on stochastic Petri net （ SPN）, and proposed a theorem for the adjustment ability of logistics system under supply chain circumstances on condition that the payoff of supply chain is a steadily increasing process. Then we put forward that a sequence of MGF （ moment generating function ） of out-of-goods risk process for logistics system is a martingale. The model we proposed can overcome shortcomings of the previous ones that can not describe the characteristics of the adjustment ability of logistics system. The results of simulation experiments are consistent with theoretical analysis.展开更多
Hybrid Petri nets(HPNs) are widely used to describe and analyze various industrial hybrid systems that have both discrete-event and continuous discrete-time behaviors. Recently,many researchers attempt to utilize them...Hybrid Petri nets(HPNs) are widely used to describe and analyze various industrial hybrid systems that have both discrete-event and continuous discrete-time behaviors. Recently,many researchers attempt to utilize them to characterize power and energy systems. This work proposes to adopt an HPN to model and analyze a microgrid that consists of green energy sources. A reachability graph for such a model is generated and used to analyze the system properties.展开更多
Virtual instrument is playing the important role in automatic test system. This paper introduces a composition of a virtual instrument automatic test system and takes the VXIbus based a test software platform which is...Virtual instrument is playing the important role in automatic test system. This paper introduces a composition of a virtual instrument automatic test system and takes the VXIbus based a test software platform which is developed by CAT lab of the UESTC as an example. Then a method to model this system based on Petri net is proposed. Through this method, we can analyze the test task scheduling to prevent the deadlock or resources conflict. At last, this paper analyzes the feasibility of this method.展开更多
The design and realization of a net recovery system is introduced, which can recover UAV (unmanned aerial vehicle) reliably and safely. The mathematical model is built, and the horizontal and vertical guidance law is ...The design and realization of a net recovery system is introduced, which can recover UAV (unmanned aerial vehicle) reliably and safely. The mathematical model is built, and the horizontal and vertical guidance law is studied based on the aerodynamic parameters and actual flying trial data of a certain UAV. The simulation result shows that this system can realize the recovery safely, stably and accurately.展开更多
Petri net model is applied to diagnose the permanent fault of hydraulic system within the framework of interpreted Petri net. The permanent fault is described as redundant structure of the model. A definition and a th...Petri net model is applied to diagnose the permanent fault of hydraulic system within the framework of interpreted Petri net. The permanent fault is described as redundant structure of the model. A definition and a theorem are proposed to determine the diagnosability of the hydraulic system. The relations bwtween the diagnosability and other structure properties are also discussed. An example of actual hydraulic system is presented and its permanent fault can be diagnosed by the proposed method efficiently.展开更多
A quite great progress of the supervisory control theory for discrete event systems (DES)has been made in the past nearly twenty years, and now, automata, formal language and Petri nets become the main research tools....A quite great progress of the supervisory control theory for discrete event systems (DES)has been made in the past nearly twenty years, and now, automata, formal language and Petri nets become the main research tools. This paper focus on the Petri nets based supervisory control theory of DES. Firstly, we review the research results in this field, and claim that there generally exists a problem in Petri nets based supervisory control theory of DES, that is, the deadlock caused by the controller introduced to enforce the given specification occurs in the closed-loop systems, especially the deadlock occurs in the closed-loop system in which the original plant is live. Finally, a possible research direction is presented for the solution of this problem.展开更多
A method to model and analyze the hybrid systems is presented. The time to be considered in the plant is taken as an explicit parameter through the constrained predicated net (CPN). The CPN's basic structure is a ...A method to model and analyze the hybrid systems is presented. The time to be considered in the plant is taken as an explicit parameter through the constrained predicated net (CPN). The CPN's basic structure is a Petri net with predicated transition. All components of the net are expressed by annotation which is defined on rational set Q. The analysis method for the plant is interval temporal logic represented by Petri nets. This paper combines the above two methods to synthesize the hybrid system, gives a simple and clear expression of the expected action of the studied plant.展开更多
This paper presents a modeling method by stochastic Petri net for reliability analysis of phased mission system( PMS) with phase backup. The model consisting of petri nets,depicts the system behaviors of unit level,sy...This paper presents a modeling method by stochastic Petri net for reliability analysis of phased mission system( PMS) with phase backup. The model consisting of petri nets,depicts the system behaviors of unit level,system logic level and phase level. Guard functions of petri nets are used to avoid modeling complexity and make the model flexible to different reliability logical structures. It was shown that the time redundancy within phase and from phase backup for PMS can both be described by use of the proposed model.展开更多
Petri net has been used in system modeling and analyzing in many practical systems, but the system reliability has never been considered before, that is, system modeling and analysis were done based on supposing that ...Petri net has been used in system modeling and analyzing in many practical systems, but the system reliability has never been considered before, that is, system modeling and analysis were done based on supposing that there were no faults and no need to repair in system resources (equipment). Actually, a practical system is often at fault and needs repairs, so Petri net model does not really represent the action of the system to a certain extent. In this paper, theory of reliability is introduced to Petri net, Petri net model of repairable system is built, and the analysis method of system model is given. The importance is illustrated by imitating a product system.展开更多
Renewable energy, particularly solar energy, offers a clean and alternative energy source to meet the energy demand for sustainable development in the world. Due to its profitability and viability, PV net-metering sch...Renewable energy, particularly solar energy, offers a clean and alternative energy source to meet the energy demand for sustainable development in the world. Due to its profitability and viability, PV net-metering scheme has been adopted in many countries. The feasibility of implementation PV rooftop system with net metering in residential, commercial, governmental and industrial sectors in Iraq is demonstrated in this study. A financial model has been developed to investigate the feasibility parameters <i>NPV</i>, <i>IRR</i> and annual savings of 24 kWp PV system. The results showed that increasing the capacity of the PV system in residential and commercial buildings will lead to a profitable investment return and the breakeven point that may make the PV net-metering projects feasible is very close to the tariff applied for the commercial sector (10.29 $c/kWh). In the governmental sector, the tariff needs to </span><span style="font-family:Verdana;">increase by 35.1% to reach breakeven. However, for such net-metering scheme</span><span style="font-family:Verdana;"> to be attractive and feasible on a wide scale, it is crucial to back it with financial support through soft loans and grants.展开更多
This paper deals with control system design and implementation problems encountered in multiple robot systems. The methodology developed is depicted by a set of coordination mechanisms using hierarchical net structure...This paper deals with control system design and implementation problems encountered in multiple robot systems. The methodology developed is depicted by a set of coordination mechanisms using hierarchical net structures and their accompanying rules. With the net models, the hierarchical and distributed control system is designed for an assembly task. Synchronization commands allow coordination of the movements of the robots. The net models make concurrency of the movements of the robots transparent to users. The net based machine controller executes robot motion control through the communication with the external robot controller using the command/response concept. Sensory signals indicating the change of state of robots are used to trigger or initiate tasks. Simultaneous movement of the robots is obtained by creating different background threads running in parallel under Windows OS. The multilevel hierarchical control system can be consistently constructed using net models.展开更多
Because unexpected emergency owns the characteristics of explosive,uncertain evolution direction and group diffusion,more and more researchers concentrate on and try to control it. In addition,considering the force of...Because unexpected emergency owns the characteristics of explosive,uncertain evolution direction and group diffusion,more and more researchers concentrate on and try to control it. In addition,considering the force of network,the information of the unexpected emergency will be spread and enlarged rapidly on internet. It is a new viewpoint using the indicator system to estimate the heat degree of net-mediated public opinion on unexpected emergency,which can reveal the underlying reasons about the formation of the heat degree. Moreover,we use BP(Back Propagation) neural network method instead of traditional subjective weight assignment to calculate the weights of the indicators which can make evaluation results more accurate and objective.展开更多
文摘Occurrence nets are insufficient to precisely describe executions of elemen-tary net systems with contacts. naditionally, S-complementation is used for re-moval of contacts from the systems. Although the main behavior and propertiesof the original elementary net systems are preserved during S-complementation,their topologies may be changed greatly This paper introduces a new kind ofnets-eopansion nebefor representing behavior of elementary net systems. Asshown in the paper, expansion nets are natural as well as sufficient for describingthe precise behavior of elementary net systems with or without contacts.
基金the State Key Laboratory for Manufacturing System Engineering at Xi'an Jiaotong University. China.
文摘Deadlock avoidance problems are investigated for automated manufacturing systems with flexible routings. Based on the Petri net models of the systems, this paper proposes, for the first time, the concept of perfect maximal resourcetransition circuits and their saturated states. The concept facilitates the development of system liveness characterization and deadlock avoidance Petri net supervisors. Deadlock is characterized as some perfect maximal resource-transition circuits reaching their saturated states. For a large class of manufacturing systems, which do not contain center resources, the optimal deadlock avoidance Petri net supervisors are presented. For a general manufacturing system, a method is proposed for reducing the system Petri net model so that the reduced model does not contain center resources and, hence, has optimal deadlock avoidance Petri net supervisor. The controlled reduced Petri net model can then be used as the liveness supervisor of the system.
基金This project is supported by National Natural Science Foundation of China (No.50085003).
文摘Object-oriented Petri nets (OPNs) is extended into stochastic object-oriented Petri nets (SOPNs) by associating the OPN of an object with stochastic transitions and introducing stochastic places. The stochastic transition of the SOPNs of a production resources can be used to model its reliability, while the SOPN of a production resource can describe its performance with reliability considered. The SOPN model of a case production system is built to illustrate the relationship between the system's performances and the failures of individual production resources.
文摘In order to describe the impacts of adjustment ability of logistics system on the profit and cost of logistics system, we constructed a model of logistics system based on stochastic Petri net （ SPN）, and proposed a theorem for the adjustment ability of logistics system under supply chain circumstances on condition that the payoff of supply chain is a steadily increasing process. Then we put forward that a sequence of MGF （ moment generating function ） of out-of-goods risk process for logistics system is a martingale. The model we proposed can overcome shortcomings of the previous ones that can not describe the characteristics of the adjustment ability of logistics system. The results of simulation experiments are consistent with theoretical analysis.
基金supported by the Deanship of Scientific Research(DSR)King Abdulaziz University,Jeddah(23-135-35-HiCi)
文摘Hybrid Petri nets(HPNs) are widely used to describe and analyze various industrial hybrid systems that have both discrete-event and continuous discrete-time behaviors. Recently,many researchers attempt to utilize them to characterize power and energy systems. This work proposes to adopt an HPN to model and analyze a microgrid that consists of green energy sources. A reachability graph for such a model is generated and used to analyze the system properties.
基金Supported by the Ministry of Education for Ph. D (20030614006)
文摘Virtual instrument is playing the important role in automatic test system. This paper introduces a composition of a virtual instrument automatic test system and takes the VXIbus based a test software platform which is developed by CAT lab of the UESTC as an example. Then a method to model this system based on Petri net is proposed. Through this method, we can analyze the test task scheduling to prevent the deadlock or resources conflict. At last, this paper analyzes the feasibility of this method.
文摘The design and realization of a net recovery system is introduced, which can recover UAV (unmanned aerial vehicle) reliably and safely. The mathematical model is built, and the horizontal and vertical guidance law is studied based on the aerodynamic parameters and actual flying trial data of a certain UAV. The simulation result shows that this system can realize the recovery safely, stably and accurately.
基金Supported by the Beijing Education Committee Cooperation Building Foundation(XK100070532)
文摘Petri net model is applied to diagnose the permanent fault of hydraulic system within the framework of interpreted Petri net. The permanent fault is described as redundant structure of the model. A definition and a theorem are proposed to determine the diagnosability of the hydraulic system. The relations bwtween the diagnosability and other structure properties are also discussed. An example of actual hydraulic system is presented and its permanent fault can be diagnosed by the proposed method efficiently.
基金Supported in part by the National Outstanding Youth Science Foundation of P.R.China (60025308) Doctor Degree Program Foundation of P.R.China (20020335103), Scientific Research Program of Department of Education of Zhejiang Province, P.R.China (20040149)
文摘A quite great progress of the supervisory control theory for discrete event systems (DES)has been made in the past nearly twenty years, and now, automata, formal language and Petri nets become the main research tools. This paper focus on the Petri nets based supervisory control theory of DES. Firstly, we review the research results in this field, and claim that there generally exists a problem in Petri nets based supervisory control theory of DES, that is, the deadlock caused by the controller introduced to enforce the given specification occurs in the closed-loop systems, especially the deadlock occurs in the closed-loop system in which the original plant is live. Finally, a possible research direction is presented for the solution of this problem.
文摘A method to model and analyze the hybrid systems is presented. The time to be considered in the plant is taken as an explicit parameter through the constrained predicated net (CPN). The CPN's basic structure is a Petri net with predicated transition. All components of the net are expressed by annotation which is defined on rational set Q. The analysis method for the plant is interval temporal logic represented by Petri nets. This paper combines the above two methods to synthesize the hybrid system, gives a simple and clear expression of the expected action of the studied plant.
基金Nationd Natural Science Foundation of China(No.71671185)
文摘This paper presents a modeling method by stochastic Petri net for reliability analysis of phased mission system( PMS) with phase backup. The model consisting of petri nets,depicts the system behaviors of unit level,system logic level and phase level. Guard functions of petri nets are used to avoid modeling complexity and make the model flexible to different reliability logical structures. It was shown that the time redundancy within phase and from phase backup for PMS can both be described by use of the proposed model.
文摘Petri net has been used in system modeling and analyzing in many practical systems, but the system reliability has never been considered before, that is, system modeling and analysis were done based on supposing that there were no faults and no need to repair in system resources (equipment). Actually, a practical system is often at fault and needs repairs, so Petri net model does not really represent the action of the system to a certain extent. In this paper, theory of reliability is introduced to Petri net, Petri net model of repairable system is built, and the analysis method of system model is given. The importance is illustrated by imitating a product system.
文摘Renewable energy, particularly solar energy, offers a clean and alternative energy source to meet the energy demand for sustainable development in the world. Due to its profitability and viability, PV net-metering scheme has been adopted in many countries. The feasibility of implementation PV rooftop system with net metering in residential, commercial, governmental and industrial sectors in Iraq is demonstrated in this study. A financial model has been developed to investigate the feasibility parameters <i>NPV</i>, <i>IRR</i> and annual savings of 24 kWp PV system. The results showed that increasing the capacity of the PV system in residential and commercial buildings will lead to a profitable investment return and the breakeven point that may make the PV net-metering projects feasible is very close to the tariff applied for the commercial sector (10.29 $c/kWh). In the governmental sector, the tariff needs to </span><span style="font-family:Verdana;">increase by 35.1% to reach breakeven. However, for such net-metering scheme</span><span style="font-family:Verdana;"> to be attractive and feasible on a wide scale, it is crucial to back it with financial support through soft loans and grants.
文摘This paper deals with control system design and implementation problems encountered in multiple robot systems. The methodology developed is depicted by a set of coordination mechanisms using hierarchical net structures and their accompanying rules. With the net models, the hierarchical and distributed control system is designed for an assembly task. Synchronization commands allow coordination of the movements of the robots. The net models make concurrency of the movements of the robots transparent to users. The net based machine controller executes robot motion control through the communication with the external robot controller using the command/response concept. Sensory signals indicating the change of state of robots are used to trigger or initiate tasks. Simultaneous movement of the robots is obtained by creating different background threads running in parallel under Windows OS. The multilevel hierarchical control system can be consistently constructed using net models.
基金supported by the National Natural Science Foundation of China (Grant No. 90924029)
文摘Because unexpected emergency owns the characteristics of explosive,uncertain evolution direction and group diffusion,more and more researchers concentrate on and try to control it. In addition,considering the force of network,the information of the unexpected emergency will be spread and enlarged rapidly on internet. It is a new viewpoint using the indicator system to estimate the heat degree of net-mediated public opinion on unexpected emergency,which can reveal the underlying reasons about the formation of the heat degree. Moreover,we use BP(Back Propagation) neural network method instead of traditional subjective weight assignment to calculate the weights of the indicators which can make evaluation results more accurate and objective.
