A Necessary and Sufficient Condition for a Resource Subset to Generate a Strict Minimal Siphon in S 4PR

Wang, Shouguang; You, Dan; Zhou, MengChu

doi:10.1109/tac.2017.2677859

Cited by 98 publications

(42 citation statements)

References 22 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Traditional Petri nets are popularly used to model, simulate, control, and analyze automated manufacturing systems (AMSs). Existing traditional Petri net studies assumed one or more of the following: (1) the system configuration is recognized and does not change throughout the operation, (2) there is no addition of new machines and no removal of old machines, and machine failures are not addressed, (3) rework is not required, and (4) products to be manufactured are identified, their process routes are specified, and the addition of new products is not applicable [13][14][15][16][17][18][19][20][21][22][23][24][25][26][27][28][29][30][31][32]. This means that traditional Petri net models do not undergo dynamic configurations, such as processing failures and rework, machine breakdowns, addition of new machines, addition of new products, removal of old machines, or change processing routes induced by the competitive global market.…”

Section: Definition Of Intelligent Colored Token Petri Netsmentioning

confidence: 99%

Intelligent Colored Token Petri Nets for Modeling, Control, and Validation of Dynamic Changes in Reconfigurable Manufacturing Systems

Kaid

Al-Ahmari

et al. 2020

Processes

View full text Add to dashboard Cite

The invention of reconfigurable manufacturing systems (RMSs) has created a challenging problem: how to quickly and effectively modify an RMS to address dynamic changes in a manufacturing system, such as processing failures and rework, machine breakdowns, addition of new machines, addition of new products, removal of old machines, and changes in processing routes induced by the competitive global market. This paper proposes a new model, the intelligent colored token Petri net (ICTPN), to simulate dynamic changes or reconfigurations of a system. The main idea is that intelligent colored tokens denote part types that represent real-time knowledge about changes and status of a system. Thus, dynamic configurations of a system can be effectively modeled. The developed ICTPN can model dynamic changes of a system in a modular manner, resulting in the development of a very compact model. In addition, when configurations appear, only the changed colored token of the part type from the current model has to be modified. Based on the resultant ICTPN model, deadlock-free, conservative, and reversible behavioral properties, among others, are guaranteed. The developed ICTPN model was tested and validated using the GPenSIM tool and compared with existing methods from the literature.

show abstract

Section: Definition Of Intelligent Colored Token Petri Netsmentioning

confidence: 99%

Intelligent Colored Token Petri Nets for Modeling, Control, and Validation of Dynamic Changes in Reconfigurable Manufacturing Systems

Kaid

Al-Ahmari

et al. 2020

Processes

View full text Add to dashboard Cite

show abstract

“…A scoring system deployed the control node, based on migration overhead and the energy reduction, and is further developed to decide the optimal consolidation plan from all candidate ones. Wang et al (2017) discussed the underlying problem of deciding necessary and sufficient Condition for effective resource mapping. Beloglazov et al (2011Beloglazov et al ( , 2013 proposed heuristic-based and statistical-measure-based approaches to dynamically decide threshold values to trigger consolidation activities.…”

Section: Related Workmentioning

confidence: 99%

An Energy-Aware and Under-SLA-Constraints VM Consolidation Strategy Based on the Optimal Matching Method

Wang

et al. 2017

International Journal of Web Services Research

View full text Add to dashboard Cite

Growing demand of computational power brings increasing scale and complexity of cloud datacenters. However, such increase also generates growing energy consumption and related cost incurred for cooling and maintenance. With concerns of cost and energy saving by both industry and academy, the reduction of energy consumption of cloud datacenters becomes a hotspot issue. Recently, virtual-machine-consolidation-based strategies are proposed as promising methods for reduction of cloud energy consumption. Virtual machine (VM) consolidation effectively increases the resource utilization rate. However, it remains a great challenge how to reduce energy consumption while maintaining the quality of service (QoS) at a satisfactory level. In this work, a comprehensive framework is presented for the above-mentioned problem, which aims at maximizing the number of physical machines (PMs) to be turned off within a consolidation period following the constraints of QoS, in terms of Service-Level-Agreement (SLA) violation rate. In comparison with most existing related works which consider invariant utilization rate of PMs in computing energy reduction of candidate migration plans, propose framework considers time-varying utilization rate and employs the number of PMs to be turned off within a consolidation period (NPTCP for simple) as the optimization objective. The proposed framework consists of a resource selection algorithm taking the predicted migration overhead (derived by the Pareto distribution) as inputs and another algorithm generating optimal matching plans based on preference scores of candidate VMs. For the model validation purpose, a case study is conducted on the CloudSim simulation platform and it shows that the proposed method achieves better energy reduction and less SLA violation.

show abstract

“…We intend to work on the following topics as our future research: (1) more, for example, throughput, mobility, and consolidation overhead should be considered; (2) Petri nets [19][20][21][22] can be used as an alternative model formalism to facilitate structural reduction techniques and reduce computational complexity; (3) dynamic VM-PM-mapping strategies should be considered and modeled instead of static ones assumed in this article where PMs are equally likely to host incoming VM instances. According to a dynamic mapping strategy, the cloud management unit decides the mapping plan based on the utilization and working status of each PM at run time.…”

Section: Conclusion and Further Studiesmentioning

confidence: 99%

On dynamic performance estimation of fault-prone Infrastructure-as-a-Service clouds

Zheng

Wang

Xia

et al. 2017

International Journal of Distributed Sensor Networks

View full text Add to dashboard Cite

The cloud computing paradigm enables elastic resources to be scaled at run time satisfy customers' demand. Cloud computing provisions on-demand service to users based on a pay-as-you-go manner. This novel paradigm enables cloud users or tenant users to afford computational resources in the form of virtual machines as utilities, just like electricity, instead of paying for and building computing infrastructures by their own. Performance usually specified through service level agreement performance commitment of clouds is one of key research challenges and draws great research interests. Thus, performance issues of cloud infrastructures have been receiving considerable interest by both researchers and practitioners as a prominent activity for improving cloud quality. This work develops an analytical approach to dynamic performance modeling and trend prediction of fault-prone Infrastructure-as-a-Service clouds. The proposed analytical approach is based on a time-series and stochastic-process-based model. It is capable of predicting the expected system responsiveness and request rejection rate under variable load intensities, fault frequencies, multiplexing abilities, and instantiation processing times. A comparative study between theoretical and measured performance results through a real-world campus cloud is carried out to prove the correctness and accuracy of the proposed prediction approach.

show abstract

A Necessary and Sufficient Condition for a Resource Subset to Generate a Strict Minimal Siphon in S 4PR

Cited by 98 publications

References 22 publications

Intelligent Colored Token Petri Nets for Modeling, Control, and Validation of Dynamic Changes in Reconfigurable Manufacturing Systems

Intelligent Colored Token Petri Nets for Modeling, Control, and Validation of Dynamic Changes in Reconfigurable Manufacturing Systems

An Energy-Aware and Under-SLA-Constraints VM Consolidation Strategy Based on the Optimal Matching Method

On dynamic performance estimation of fault-prone Infrastructure-as-a-Service clouds

Contact Info

Product

Resources

About