A Refined Siphon-Based Deadlock Prevention Policy for a Class of Petri Nets

Wang, Shouguang; Guo, Xin; Karoui, Oussama; Zhou, MengChu; You, Dan; Abusorrah, Abdullah

doi:10.1109/tsmc.2022.3174421

Cited by 11 publications

(2 citation statements)

References 59 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Deadlocks are one of the anomalies that are likely to occur in concurrent systems [13][14][15]. If they are not eliminated, they would lead to the failure of the whole system.…”

Section: Handling Of the Deadlock Phenomenonmentioning

confidence: 99%

Improved Design of Concurrent Synchronization System Controller Based on Petri Net

Yang,

Guo,

Xiang

et al. 2024

JWE

View full text Add to dashboard Cite

At present, the advancement of science and technology has contributed to the emergence of various network parallel environments, web service concurrency environments and massively parallel processors. In order to abstract some practical systems into concurrent system models, it is necessary to conduct model analysis, and to perform deadlock detection of the concurrent system. Despite prior studies on the control problem of the synchronous concurrent system, there remains room for improvement in terms of workload, time, and efficiency. Some very practical methods are explored by introducing locking and unlocking to synchronize the concurrent system, and the algorithm that involves the specific regulation is provided. The Petri net model of the controller is developed to provide an effective method applicable to find the deadlock and to prevent and eliminate the deadlock for synchronous concurrent systems.

show abstract

“…Deadlocks are one of the anomalies that are likely to occur in concurrent systems [13][14][15]. If they are not eliminated, they would lead to the failure of the whole system.…”

Section: Handling Of the Deadlock Phenomenonmentioning

confidence: 99%

Improved Design of Concurrent Synchronization System Controller Based on Petri Net

Yang,

Guo,

Xiang

et al. 2024

JWE

View full text Add to dashboard Cite

show abstract

“…The U.S. Department of Defense Trusted Computer System Evaluation require that the highest level of security classification (the A-class) use formal specification and verification techniques [20]. Petri net-based approaches have been presented to model and verify the correctness and soundness of workflow and concurrent systems [21], [22], [23], [24], [25]. Significant progress has been done on cooperative systems and composition of web services based on Petri nets [26], [27], [28].…”

Section: Introductionmentioning

confidence: 99%

Modeling and Analyzing Logic Vulnerabilities of E-Commerce Systems at the Design Phase

Yu,

Liu,

Wang

et al. 2023

IEEE Trans. Syst. Man Cybern, Syst.

View full text Add to dashboard Cite

E-commerce systems have become tremendously popular and important for modern business processes in the world of digital economy. E-commerce business processes rely on the distributed and concurrent interaction process among web applications of participants, such as clients, merchants, third-party payment platforms (TPPs) and bank systems. Such complex business interactions bridge the gap of trustiness among participants and introduce new security challenges in the form of logical vulnerabilities, which are prevalent in the business process at the application level. The most pressing challenge is to guarantee security throughout the checkout process at the conceptual design phase such that the logic errors can be detected before the actual implementation. Maintenance and repair of implemented e-commerce systems can be extremely costly. To this end, this paper proposes a novel modeling and analyzing methodology for multi-participants and multi-sessions e-commerce interaction processes based on Colored Petri nets (CPN). Firstly, we define a novel model that can efficiently depict the key properties of e-commerce business interaction processes. Secondly, several modeling principles are formulated based on the design specification of e-commerce systems. Finally, the concept of Transaction-Logical Consistency is defined to analyze and verify the logical vulnerabilities of e-commerce systems. Through a discussed case study, we demonstrate the feasibility and applicability of the proposed methodology and its efficiency in detecting problems those can potentially lead to logical vulnerabilities.

show abstract

Supervisor synthesis for asynchronous diagnosability enforcement in labeled Petri nets

Hu,

et al. 2024

Information Sciences

View full text Add to dashboard Cite

A Refined Siphon-Based Deadlock Prevention Policy for a Class of Petri Nets

Cited by 11 publications

References 59 publications

Improved Design of Concurrent Synchronization System Controller Based on Petri Net

Improved Design of Concurrent Synchronization System Controller Based on Petri Net

Modeling and Analyzing Logic Vulnerabilities of E-Commerce Systems at the Design Phase

Supervisor synthesis for asynchronous diagnosability enforcement in labeled Petri nets

Contact Info

Product

Resources

About