LEADER 02647nam 22004573 450 001 9911019972203321 005 20250621060308.0 010 $a1-394-38866-7 010 $a1-394-38864-0 035 $a(CKB)39239876600041 035 $a(MiAaPQ)EBC32153574 035 $a(Au-PeEL)EBL32153574 035 $a(OCoLC)1524420118 035 $a(BIP)121938095 035 $a(BIP)121819837 035 $a(EXLCZ)9939239876600041 100 $a20250621d2025 uy 0 101 0 $aeng 135 $aur||||||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aEnhancing Stochastic Petri Nets with Reconfigurability $eModeling, Analysis and Performance Evaluation 205 $a1st ed. 210 1$aNewark :$cJohn Wiley & Sons, Incorporated,$d2025. 210 4$dİ2025. 215 $a1 online resource (208 pages) 225 1 $aISTE Invoiced Series 311 08$a1-83669-062-2 330 $aThis 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. 410 0$aISTE Invoiced Series 700 $aTigane$b Samir$01837486 701 $aKahloul$b Laid$01837487 701 $aMellouk$b Abdelhamid$01646604 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9911019972203321 996 $aEnhancing Stochastic Petri Nets with Reconfigurability$94416232 997 $aUNINA