1. Modeling and Verification of the Causal Broadcast Algorithm Using Colored Petri Nets;2024 Third International Conference on Distributed Computing and High Performance Computing (DCHPC);2024-05-14
2. Model-based security testing in IoT systems: A Rapid Review;Information and Software Technology;2023-12
3. Design and Analysis of Different Behaviors of Autonomous Vehicles using Petrinets;2023 International Conference on Computing, Communication, and Intelligent Systems (ICCCIS);2023-11-03
4. Petri nets-based digital twin drives dual-arm cooperative manipulation;Computers in Industry;2023-05
5. Multi-Factor Authentication Modeling using Petri Nets: Review;2023 International Conference on IT Innovation and Knowledge Discovery (ITIKD);2023-03-08