Maximal Good Step Graph Methods for Reducing the Generation of the State Space

Dou, Hao; Barkaoui, Kamel; Boucheneb, Hanifa; Jiang, Xiaoning; Wang, Shouguang

doi:10.1109/access.2019.2948986

Cited by 7 publications

(1 citation statement)

References 57 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…(3) With the growing popularity of services computing and IoT, the scale of services computing systems may become extremely large. Solving the system model for performance evaluation and optimization sometimes appears an extremely difficult task because of the state space explosion problem [13]. An approach with high efficiency need to be studied accordingly.…”

Section: Introductionmentioning

confidence: 99%

A Simulation-Based Optimization Approach for Reliability-Aware Service Composition in Edge Computing

2020

View full text Add to dashboard Cite

With the prevalence of Internet of Things (IoT), edge computing has emerged as a novel computing model for optimizing traditional cloud computing systems by moving part of the computational tasks to the edge of the network for better performance and security. With the technique of services computing, edge computing systems can accommodate the application requirements with more agility and flexibility. In large-scale edge computing systems, service composition as one of the most important problems in services computing suffers from several new challenges, i.e., complex layered architecture, failures and recoveries always in the lifecycle, and search space explosion. In this paper, we make an attempt at addressing these challenges by designing a simulation-based optimization approach for reliability-aware service composition. Composite stochastic Petri net models are proposed for formulating the dynamics of multi-layered edge computing systems, and their corresponding quantitative analysis is conducted. To solve the state explosion problem in large-scale systems or complex service processes, time scale decomposition technique is applied to improving the efficiency of model solving. Additionally, simulation schemes are designed for performance evaluation and optimization, and ordinal optimization technique is introduced to significantly reduce the size of the search space. Finally, we conduct experiments based on real-life data, and the empirical results validate the efficacy of the approach.

show abstract

Section: Introductionmentioning

confidence: 99%

A Simulation-Based Optimization Approach for Reliability-Aware Service Composition in Edge Computing

2020

View full text Add to dashboard Cite

show abstract

The Ant Colony Algorithm Based on Logic Time Petri Nets and Application in Electronic-Commerce Logistics

Liu

et al. 2019

IEEE Access

View full text Add to dashboard Cite

Based on Logic Time Petri nets (LTPNs) models, this paper focuses on improving the efficiency of Petri Net intelligent search method execution. With an analysis of the E-Commerce Logistics (ECL) system, the method of system scheduling using LTPNs is studied, and the Ant Colony algorithm is proposed based on it. By introducing the concept of pheromones to system transition, using the Ant Colony algorithm (ACA) in the processing of the network, and setting the heuristic factor in combination with the time boundary, the non-deterministic behavior can be automatically analyzed and selected in the LTPNs so that the efficiency of control and scheduling during the system dynamics operation is improved. The result of the analysis of the ECL system serves as evidence of the superiority of ACA.

show abstract

A Process Model Repair Approach by Constructing Choice Structures via Logic Petri Nets

Luan

et al. 2019

IEEE Access

View full text Add to dashboard Cite

Models of business processes can be discovered and improved by process mining techniques according to event logs generated by enterprise information systems. With the changing of business processes, some new activities that have choice relations with original activities appear in event logs, while the original model cannot replay them. Thus, a new process mining technique named model repair is developed. However, existing model repair methods cannot accurately find the positions where to add these new activities. This paper proposes a new model repair method based on logic Petri nets, which can add new activities as choice branches to the original model. First, two order sets for an event log and an original model are constructed by redefining order relations. Then the deviations related to new activities are collected. Next, the model is repaired by adding new activities as choice branches or constructing new choice structures. The correctness and effectiveness of the proposed method is illustrated by some case studies and experiments. The precision and simplicity of the repaired model is improved by our method comparing with other methods. INDEX TERMS Logic petri net, process mining, model repair, order relations, choice structures.

show abstract

Maximal Good Step Graph Methods for Reducing the Generation of the State Space

Cited by 7 publications

References 57 publications

A Simulation-Based Optimization Approach for Reliability-Aware Service Composition in Edge Computing

A Simulation-Based Optimization Approach for Reliability-Aware Service Composition in Edge Computing

The Ant Colony Algorithm Based on Logic Time Petri Nets and Application in Electronic-Commerce Logistics

A Process Model Repair Approach by Constructing Choice Structures via Logic Petri Nets

Contact Info

Product

Resources

About