In many service delivery systems,the quantity of available resources is often a decisive factor of service quality.Resources can be personnel,offices,devices,supplies,and so on,depending on the nature of the services ...In many service delivery systems,the quantity of available resources is often a decisive factor of service quality.Resources can be personnel,offices,devices,supplies,and so on,depending on the nature of the services a system provides.Although service computing has been an active research topic for decades,general approaches that assess the impact of resource provisioning on service quality matrices in a rigorous way remain to be seen.Petri nets have been a popular formalism for modeling systems exhibiting behaviors of competition and concurrency for almost a half century.Stochastic timed Petri nets(STPN),an extension to regular Petri nets,are a powerful tool for system performance evaluation.However,we did not find any single existing STPN software tool that supports all timed transition firing policies and server types,not to mention resource provisioning and requirement analysis.This paper presents a generic and resource oriented STPN simulation engine that provides all critical features necessary for the analysis of service delivery system quality vs.resource provisioning.The power of the simulation system is illustrated by an application to emergency health care systems.展开更多
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.展开更多
Testability design is an effective way to realize the fault detection and isolation.Its important step is to determine testability figures of merits(TFOM).Firstly,some influence factors for TFOMs are analyzed,such as ...Testability design is an effective way to realize the fault detection and isolation.Its important step is to determine testability figures of merits(TFOM).Firstly,some influence factors for TFOMs are analyzed,such as the processes of system operation,maintenance and support,fault detection and isolation and so on.Secondly,a testability requirement analysis model is built based on generalized stochastic Petri net(GSPN).Then,the system's reachable states are analyzed based on the model,a Markov chain isomorphic with Petri net is constructed,a state transition matrix is created and the system's steady state probability is obtained.The relationship between the steady state availability and testability parameters can be revealed and reasoned.Finally,an example shows that the proposed method can determine TFOM,such as fault detection rate and fault isolation rate,effectively and reasonably.展开更多
Designing of a multi-purpose plant as one of the well-known manufacturing systems is more challenging than other manufacturing systems. This paper applies a stochastic colored Petri net (CPN) to design and analyze mul...Designing of a multi-purpose plant as one of the well-known manufacturing systems is more challenging than other manufacturing systems. This paper applies a stochastic colored Petri net (CPN) to design and analyze multi-purpose plants. A simple approach is proposed to determine the utilization of shared resources and to reduce the equipment’s idle times. Three scenarios are presented to describe the proposed model. Generally, according to desire of a decision maker, different scenarios can be considered in the model to achieve to the expected design or plant configuration. The main characteristics of the proposed model are flexibility, the easiness of practical application and the simulation of the model in an easy way.展开更多
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.展开更多
A hierarchical closed-loop production control scheme integrating scheduling,control and performance evaluation is discussed.Firstly,the production process is divided into two main hierarchies:the lower level is the ph...A hierarchical closed-loop production control scheme integrating scheduling,control and performance evaluation is discussed.Firstly,the production process is divided into two main hierarchies:the lower level is the physical operation level and the upper one is the management level.Secondly,the schedule template for the management level and the activity template for the physical operation level are constructed separately,the tasks in the schedule have the ability to make partial decisions,and the per- formance parameters are introduced into activity template.Thirdly,the two levels use different model representations:stochastic process algebra for the management level whose output is the control commands and stochastic Petri net for the physical operation lev- el which is the execution of the control commands.Then,the integration of the two levels is the control commands mapping into the lower physical operations and the responses feeding back to the upper decision-making that are defined by some transition functions. Under the proposed scheme,the production process control of a flexible assembly is exemplified.It is concluded that the process con- trol model has partial ability to make decision on-line for uncertain and dynamic environments and facilitates reasoning about the be- haviors of the process control,and performance evaluation can be done online for real-time scheduling to ensure the global optimiza- tion.展开更多
5G工业控制系统规模化应用的关键是保障其高可用性。若通过试验评估,其成本高昂且困难诸多。而已有的可用性建模方法很少考虑到5G对可用性的影响。对此,以一个实际的5G转钢系统为例,采用确定性随机Petri网(deterministic stochastic Pet...5G工业控制系统规模化应用的关键是保障其高可用性。若通过试验评估,其成本高昂且困难诸多。而已有的可用性建模方法很少考虑到5G对可用性的影响。对此,以一个实际的5G转钢系统为例,采用确定性随机Petri网(deterministic stochastic Petri net,DSPN)从业务流程的角度对5G技术改造后的工控系统的动态故障和维修过程进行形式化建模,评估不同的失效模式对系统业务可用性的影响。在案例中分析了5G工业控制系统中不同参数对系统业务可用性造成的影响,发现无线链路平均故障间隔时间(mean time between failures,MTBF)对系统业务可用性影响最大。实验结果表明,所提方法可用于评估5G工业控制系统的业务可用性,为系统设计人员提供参考。展开更多
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.展开更多
文摘In many service delivery systems,the quantity of available resources is often a decisive factor of service quality.Resources can be personnel,offices,devices,supplies,and so on,depending on the nature of the services a system provides.Although service computing has been an active research topic for decades,general approaches that assess the impact of resource provisioning on service quality matrices in a rigorous way remain to be seen.Petri nets have been a popular formalism for modeling systems exhibiting behaviors of competition and concurrency for almost a half century.Stochastic timed Petri nets(STPN),an extension to regular Petri nets,are a powerful tool for system performance evaluation.However,we did not find any single existing STPN software tool that supports all timed transition firing policies and server types,not to mention resource provisioning and requirement analysis.This paper presents a generic and resource oriented STPN simulation engine that provides all critical features necessary for the analysis of service delivery system quality vs.resource provisioning.The power of the simulation system is illustrated by an application to emergency health care 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.
文摘Testability design is an effective way to realize the fault detection and isolation.Its important step is to determine testability figures of merits(TFOM).Firstly,some influence factors for TFOMs are analyzed,such as the processes of system operation,maintenance and support,fault detection and isolation and so on.Secondly,a testability requirement analysis model is built based on generalized stochastic Petri net(GSPN).Then,the system's reachable states are analyzed based on the model,a Markov chain isomorphic with Petri net is constructed,a state transition matrix is created and the system's steady state probability is obtained.The relationship between the steady state availability and testability parameters can be revealed and reasoned.Finally,an example shows that the proposed method can determine TFOM,such as fault detection rate and fault isolation rate,effectively and reasonably.
文摘Designing of a multi-purpose plant as one of the well-known manufacturing systems is more challenging than other manufacturing systems. This paper applies a stochastic colored Petri net (CPN) to design and analyze multi-purpose plants. A simple approach is proposed to determine the utilization of shared resources and to reduce the equipment’s idle times. Three scenarios are presented to describe the proposed model. Generally, according to desire of a decision maker, different scenarios can be considered in the model to achieve to the expected design or plant configuration. The main characteristics of the proposed model are flexibility, the easiness of practical application and the simulation of the model in an easy way.
文摘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.
文摘A hierarchical closed-loop production control scheme integrating scheduling,control and performance evaluation is discussed.Firstly,the production process is divided into two main hierarchies:the lower level is the physical operation level and the upper one is the management level.Secondly,the schedule template for the management level and the activity template for the physical operation level are constructed separately,the tasks in the schedule have the ability to make partial decisions,and the per- formance parameters are introduced into activity template.Thirdly,the two levels use different model representations:stochastic process algebra for the management level whose output is the control commands and stochastic Petri net for the physical operation lev- el which is the execution of the control commands.Then,the integration of the two levels is the control commands mapping into the lower physical operations and the responses feeding back to the upper decision-making that are defined by some transition functions. Under the proposed scheme,the production process control of a flexible assembly is exemplified.It is concluded that the process con- trol model has partial ability to make decision on-line for uncertain and dynamic environments and facilitates reasoning about the be- haviors of the process control,and performance evaluation can be done online for real-time scheduling to ensure the global optimiza- tion.
文摘5G工业控制系统规模化应用的关键是保障其高可用性。若通过试验评估,其成本高昂且困难诸多。而已有的可用性建模方法很少考虑到5G对可用性的影响。对此,以一个实际的5G转钢系统为例,采用确定性随机Petri网(deterministic stochastic Petri net,DSPN)从业务流程的角度对5G技术改造后的工控系统的动态故障和维修过程进行形式化建模,评估不同的失效模式对系统业务可用性的影响。在案例中分析了5G工业控制系统中不同参数对系统业务可用性造成的影响,发现无线链路平均故障间隔时间(mean time between failures,MTBF)对系统业务可用性影响最大。实验结果表明,所提方法可用于评估5G工业控制系统的业务可用性,为系统设计人员提供参考。
文摘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.
