Resources consumption analysis of business process services in cloud computing using Petri Net-Reference-Cited by-同舟云学术

Resources consumption analysis of business process services in cloud computing using Petri Net

Published:2020-05 Issue:4 Volume:32 Page:408-418
ISSN:1319-1578
Container-title:Journal of King Saud University - Computer and Information Sciences
language:en
Short-container-title:Journal of King Saud University - Computer and Information Sciences

Author:

Lacheheub Mohammed Nassim,Hameurlain Nabil,Maamri Ramdane

Publisher

Elsevier BV

Subject

General Computer Science

Reference19 articles.

1. Formal modeling and evaluation of service-based business process elasticity in the cloud;Amziani;Enabling Technol.: Infrastr. Collabor. Enterp.,2013

2. Ben Halima, R., Zouaghi, I., Kallel, S., Gaaloul, W., Jmaiel, M., 2018. Formal verification of temporal constraints and allocated cloud resources in business process. In: 2018 IEEE 32nd International Conference on Advanced Information Networking and Applications, doi.org/10.1109/aina.2018.00139.

3. Formal verification of time-aware cloud resource allocation in business process;Ben Halima;Lecture Notes Comp. Sci.,2016

4. Towards the formalization of properties of cloud-based elastic systems;Bersani,2014

5. Scheduling strategies for business process applications in cloud environments;Bessai;Int. J. Grid High-Perform. Comp.,2013

Cited by 9 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Mental workload evaluation model of receiver aircraft pilots based on multiple resource theory;Human Factors and Ergonomics in Manufacturing & Service Industries;2023-10-24

2. Improving flexibility in cloud computing using optimal multipurpose particle swarm algorithm with auction rules;Journal of Experimental & Theoretical Artificial Intelligence;2022-12-08

3. Experimental verification and validation of the SICN-oriented process mining algorithm and system;Journal of King Saud University - Computer and Information Sciences;2022-11

4. Reducing the number of migrated instances during business process change: A graph rewriting approach;Journal of King Saud University - Computer and Information Sciences;2022-10

5. The Refinement of Petri Net with Inhibitor Arcs Based Representation for Embedded Systems;Electronics;2022-04-26