A Hybrid ANN–LSTM and Petri Net Framework for Proactive Deadlock Detection and Autonomous Resolution in Concurrent Systems

Iranian Journal of Science and Technology Transactions of Electrical Engineering 2026

View at publisher
Authors: RAOUDHA ROMDHANI, Olfa Mosbahi, Mohamed Khalgui
DOI: 10.1007/s40998-026-01054-x
Cited by: 1
References: 11

Fields of Study & Subjects

Petri Nets in System Modeling Formal Methods in Verification Mobile Agent-Based Network Management

Publication details

Journal / source
Iranian Journal of Science and Technology Transactions of Electrical Engineering
Publisher
Springer Science and Business Media LLC
Publication date
8 June 2026
Language
EN