Samir Tigane, University of Biskra and Laboratoire de l’Informatique Intelligente (LINFI), Algeria.
Laid Kahloul, University of Biskra and Laboratoire de l’Informatique Intelligente (LINFI), Algeria.
Abdelhamid Mellouk, IT4H High School Engineering Department and TincNET, UPEC, France.
ISBN : 781836690627
Publication Date : July 2025
Hardcover 206 pp
165.00 USD
Co-publisher
This book explores the world of reconfigurable stochastic Petri nets (RSPNs), a powerful method for modeling and verifying complex, dynamic and reconfigurable systems. As modern discrete-event systems become increasingly flexible, requiring structural adaptability at runtime, classical Petri nets are proving insufficient. This book presents innovative extensions to Petri nets, offering enhanced modeling capabilities for reconfigurable systems, while ensuring efficient verification.
Through a structured approach, this book introduces reconfigurable generalized stochastic Petri nets (RecGSPNs), an advanced framework that integrates reconfigurability while preserving crucial system properties such as liveness, boundedness and deadlock-freedom. This book systematically explores modeling techniques, including stochastic reward nets and dynamic topology transformations, demonstrating their effectiveness through quantitative and qualitative analyses. By addressing challenges in state-space explosion and computational complexity, this book provides essential methodologies for researchers and practitioners working on reconfigurable systems, and serves as a valuable resource for those working in network security, manufacturing systems and distributed computing, where dynamic reconfigurations are essential.
Part 1. State of the Art.
1. From Petri Nets to Stochastic Petri Nets.
2. Reconfiguration Aspects in Petri Nets.
Part 2. Orientation 1.
3. Rewritable Topology in Generalized Stochastic Petri Nets.
4. Generalized Stochastic Petri Nets with Dynamic Structure.
Part 3. Orientation 2.
5. Reconfigurable Generalized Stochastic Petri Nets.
Part 4. Evaluation, Discussion and Conclusion.
6. Evaluation and Discussion.
Samir Tigane is Associate Professor at the University of Biskra and researcher at the Laboratoire de l’Informatique Intelligente (LINFI), Algeria. His research includes software engineering, formal methods and artificial intelligence.
Laid Kahloul is Professor at the University of Biskra and researcher at the Laboratoire de l’Informatique Intelligente (LINFI), Algeria. His research includes software engineering, formal methods, security and artificial intelligence.
Abdelhamid Mellouk is Full-time University Professor, Director of the IT4H High School Engineering Department and Head of the TincNET Research Team, UPEC, France. He is also the founder of Network Control Research and Curricula activities at UPEC, President of the Policies and Programs commission at the National Council for Scientific Research and Technologies, a HCERES Expert, a CNU member and Co-President of the DS-AI Systematic Deep Tech Hub.
