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 response to the production capacity and functionality variations, a genetic algorithm (GA) embedded with deterministic timed Petri nets(DTPN) for reconfigurable production line(RPL) is proposed to solve its s...In response to the production capacity and functionality variations, a genetic algorithm (GA) embedded with deterministic timed Petri nets(DTPN) for reconfigurable production line(RPL) is proposed to solve its scheduling problem. The basic DTPN modules are presented to model the corresponding variable structures in RPL, and then the scheduling model of the whole RPL is constructed. And in the scheduling algorithm, firing sequences of the Petri nets model are used as chromosomes, thus the selection, crossover, and mutation operator do not deal with the elements in the problem space, but the elements of Petri nets model. Accordingly, all the algorithms for GA operations embedded with Petri nets model are proposed. Moreover, the new weighted single-objective optimization based on reconfiguration cost and E/T is used. The results of a DC motor RPL scheduling suggest that the presented DTPN-GA scheduling algorithm has a significant impact on RPL scheduling, and provide obvious improvements over the conventional scheduling method in practice that meets duedate, minimizes reconfiguration cost, and enhances cost effectivity.展开更多
In this paper, data streams are classified into four types conforming to a standardized infrastructure of communication networks for a substation automation system (SAS) based on IEC61850 system. The data exchanged ...In this paper, data streams are classified into four types conforming to a standardized infrastructure of communication networks for a substation automation system (SAS) based on IEC61850 system. The data exchanged on the net are demonstrated to be stochastic according to investigation on the Ethemet communication principles. Four generalized stochastic Petri nets (GSPN) based models for performance analysis of communication networks of IEC61850 system are developed based on the three-level structure of SAS, different time requirements of the four data streams and different networks topology for different voltage level. The GSPN-based model associated with immediate and exponential transitions is proven to be theoretically isomorphic with Markov chain; hence we apply the mathematic methods of performance evaluation contained in Markov chain to the GSPN models proposed. The computer simulation of the model including only sample value data streams shows that it can meet performance evaluation needs of communication networks of IEC61850 system. Further researches should be focused on the pe^ormance of the other three models to explain clear how those different data streams are interrelated to and interact on each other.展开更多
An approach for modeling a human cognitive framework in time-stressed decision making is presented. The recognitive and metacognitive processes that represent the cognitive framework are modeled by the colored Petri n...An approach for modeling a human cognitive framework in time-stressed decision making is presented. The recognitive and metacognitive processes that represent the cognitive framework are modeled by the colored Petri nets (CPNs). A structural and behavioral analysis method is adopted to obtain the static and dynamic property used to verify the CPNs model of the cognitive framework. Finally, an example from the command and control radar recognition system is used to evaluate the feasibility and availability of the CPNs model adopted in practical systems.展开更多
基金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.
基金This project is supported by Key Science-Technology Project of Shanghai City Tenth Five-Year-Plan, China (No.031111002)Specialized Research Fund for the Doctoral Program of Higher Education, China (No.20040247033)Municipal Key Basic Research Program of Shanghai, China (No.05JC14060)
文摘In response to the production capacity and functionality variations, a genetic algorithm (GA) embedded with deterministic timed Petri nets(DTPN) for reconfigurable production line(RPL) is proposed to solve its scheduling problem. The basic DTPN modules are presented to model the corresponding variable structures in RPL, and then the scheduling model of the whole RPL is constructed. And in the scheduling algorithm, firing sequences of the Petri nets model are used as chromosomes, thus the selection, crossover, and mutation operator do not deal with the elements in the problem space, but the elements of Petri nets model. Accordingly, all the algorithms for GA operations embedded with Petri nets model are proposed. Moreover, the new weighted single-objective optimization based on reconfiguration cost and E/T is used. The results of a DC motor RPL scheduling suggest that the presented DTPN-GA scheduling algorithm has a significant impact on RPL scheduling, and provide obvious improvements over the conventional scheduling method in practice that meets duedate, minimizes reconfiguration cost, and enhances cost effectivity.
文摘In this paper, data streams are classified into four types conforming to a standardized infrastructure of communication networks for a substation automation system (SAS) based on IEC61850 system. The data exchanged on the net are demonstrated to be stochastic according to investigation on the Ethemet communication principles. Four generalized stochastic Petri nets (GSPN) based models for performance analysis of communication networks of IEC61850 system are developed based on the three-level structure of SAS, different time requirements of the four data streams and different networks topology for different voltage level. The GSPN-based model associated with immediate and exponential transitions is proven to be theoretically isomorphic with Markov chain; hence we apply the mathematic methods of performance evaluation contained in Markov chain to the GSPN models proposed. The computer simulation of the model including only sample value data streams shows that it can meet performance evaluation needs of communication networks of IEC61850 system. Further researches should be focused on the pe^ormance of the other three models to explain clear how those different data streams are interrelated to and interact on each other.
基金supported by the National Natural Science Foundation of China(60874068).
文摘An approach for modeling a human cognitive framework in time-stressed decision making is presented. The recognitive and metacognitive processes that represent the cognitive framework are modeled by the colored Petri nets (CPNs). A structural and behavioral analysis method is adopted to obtain the static and dynamic property used to verify the CPNs model of the cognitive framework. Finally, an example from the command and control radar recognition system is used to evaluate the feasibility and availability of the CPNs model adopted in practical systems.