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

Lacheheub, Mohammed Nassim; Hameurlain, Nabil; Maamri, Ramdane

doi:10.1016/j.jksuci.2019.08.005

Cited by 9 publications

(5 citation statements)

References 8 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…(Kabir & Papadopoulos, 2019). In the work of Lacheheub, Hameurlain & Maamri (2020), Petri nets have also found application in the analysis of business processes. The use of the functionality of the Petri nets assumed that consistency would be assured in the perspective of resources, by using the network to verify the correct execution of the business process with the resources initially allocated, based on some properties and choosing the path of similar low-consumption services.…”

Section: Discussionmentioning

confidence: 99%

Assessment of the Possibility of Using Bayesian Nets and Petri Nets in the Process of Selecting Additive Manufacturing Technology in a Manufacturing Company

Topczak

Śliwa²

2021

acs

View full text Add to dashboard Cite

The changes caused by Industry 4.0 determine the decisions taken by manufacturing companies. Their activities are aimed at adapting processes and products to dynamic market requirements. Additive manufacturing technologies (AM) are the answer to the needs of enterprises. The implementation of AM technology brings many benefits, although for most 3D printing techniques it is also relatively expensive. Therefore, the implementation process should be preceded by an appropriate analysis, in order, finally, to assess the solution. This article presents the concept of using the Bayesian network when planning the implementation of AM technology. The use of the presented model allows the level of the success of the implementation of selected AM technology, to be estimated under given environmental conditions.

show abstract

Section: Discussionmentioning

confidence: 99%

Assessment of the Possibility of Using Bayesian Nets and Petri Nets in the Process of Selecting Additive Manufacturing Technology in a Manufacturing Company

Topczak

Śliwa²

2021

acs

View full text Add to dashboard Cite

show abstract

“…PN were first introduced by Carl Adam Petri (Lacheheub et al, 2020; Sheng & Prescott, 2019) as a graphical and mathematical tool. They provide a graphical representation that directly describes conflict and task logic, while also offering a mathematical framework for systematic analysis.…”

Section: Methodsmentioning

confidence: 99%

“…(2) The accuracy of MRT assessment will be affected by the accuracy of the pre-task analysis, and no perfect task decomposition and analysis method has been formed. In contrast, Petri net (PN), as a visual representation method, are easy to represent the dynamic characteristics of complex systems (Lacheheub et al, 2020), and have been widely used in aerospace research in recent years. For example, it is used in aircraft fleet maintenance missions (Sheng & Prescott, 2019) and tactical bombing missions (Yuan-yuan et al, 2016).…”

mentioning

confidence: 99%

Mental workload evaluation model of receiver aircraft pilots based on multiple resource theory

Pei,

Ma,

et al. 2023

Hum Ftrs & Erg Mfg Svc

View full text Add to dashboard Cite

Aerial refueling is an extender of air combat capability that has received widespread attention with the development of the military field, particularly the mental workload of the pilot performing the aerial refueling task, as it is the key to the aerial refueling success rate. Therefore, this study analyzes the behavior of receiver aircraft pilots from rendezvous to the separation phase and constructs a mental workload model to improve the aerial refueling success rate. First, the time‐channel‐action unit network was constructed based on Petri net and multiple resource theory (MRT). Second, the mental workload evaluation model was constructed from three dimensions: conventional resource occupation, additional resource occupation, and time occupation. Finally, a simulated experiment was conducted, and the results showed that the mental workload obtained by the model constructed in this study exhibits a high positive correlation with subjective mental workload, pupil diameter, and blink rate, surpassing the accuracy of the traditional MRT model.

show abstract

“…In the literature, many authors have investigated Petri net transformation methods to mitigate the problem of state space explosion. The three popular transformations of Petri net are refinement [11,[16][17][18][19][20][21][22][23][24][25][26][27][28][29], reduction [30][31][32][33], and synthesis [12,14,[34][35][36][37][38][39].…”

Section: Introductionmentioning

confidence: 99%

“…For systems specified in Elementary Net Systems, Bernardinello et al [27] presented a refinement method for distributed systems. Lacheheub et al [28] focused on analyzing the transformation of the business process (BP) to the Petri net and gave the transition refinement operation to verify soundness, liveness, and boundedness. Based on the UML state machine and the Petri net model, Łabiak et al [29] presented a design of digital controllers.…”

Section: Introductionmentioning

confidence: 99%

The Refinement of Petri Net with Inhibitor Arcs Based Representation for Embedded Systems

Xia

Wang

2022

Electronics

View full text Add to dashboard Cite

Embedded systems are widely used in various devices. PRES+ (Petri net- based Representation for Embedded Systems) has been used to model and analyze embedded systems. However, it cannot characterize the priority of events, and cannot fully express the complex data flow and control flow. To solve this problem, inhibitor arcs are added to PRES+ and PIRES+ (PRES+ with Inhibitor arcs) is obtained. However, PIRES+’s state space explosion problem is a handicap when modeling, verifying, and controlling complex, large embedded systems. To mitigate the state space explosion problem of PIRES+ and analyze complex embedded systems, we propose the place refinement approach and the place set refinement approach for PIRES+. Under specific conditions, several important properties of PIRES+, such as timing, functionality, reachability, liveness, and boundedness, are preserved by using these refinement approaches. In order to illustrate the effectiveness of these refinement methods, as an example, the modeling and analysis of a network communication system is proposed. The refinement methods proposed have certain feasibility and practicability and provide a more practical theoretical basis for the modeling of some embedded systems.

show abstract

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

Cited by 9 publications

References 8 publications

Assessment of the Possibility of Using Bayesian Nets and Petri Nets in the Process of Selecting Additive Manufacturing Technology in a Manufacturing Company

Assessment of the Possibility of Using Bayesian Nets and Petri Nets in the Process of Selecting Additive Manufacturing Technology in a Manufacturing Company

Mental workload evaluation model of receiver aircraft pilots based on multiple resource theory

The Refinement of Petri Net with Inhibitor Arcs Based Representation for Embedded Systems

Contact Info

Product

Resources

About