Fast Verification of Petri Net-Based Model of Industrial Decision-Making Systems: A Case Study

التفاصيل البيبلوغرافية
العنوان:	Fast Verification of Petri Net-Based Model of Industrial Decision-Making Systems: A Case Study
المؤلفون:	Wisniewski, Remigiusz, Patalas-Maliszewska, Justyna, Wojnakowski, Marcin, Topczak, Marcin, Zhou, Mengchu
المصدر:	2023 IEEE International Conference on Systems, Man, and Cybernetics (SMC) Systems, Man, and Cybernetics (SMC), 2023 IEEE International Conference on. :3316-3322 Oct, 2023
Relation:	2023 IEEE International Conference on Systems, Man, and Cybernetics (SMC)
قاعدة البيانات:	IEEE Xplore Digital Library