يعرض 1 - 10 نتائج من 35,837 نتيجة بحث عن '"PETRI NETS"', وقت الاستعلام: 0.84s تنقيح النتائج
  1. 1
    مؤتمر
    Improved Prairie Dog Optimization Algorithm for Online Detection of Automated Scheduling Deadlock-Prone Manufacturing System

    المؤلفون: Chen, Yuanyuan, Liu, Yongbin, Zeng, Feng, Zhou, Wei, Wu, Zhenhua, Wu, Fuqiang

    المصدر: 2024 Second International Conference on Data Science and Information System (ICDSIS) Data Science and Information System (ICDSIS), 2024 Second International Conference on. :1-5 May, 2024

    Relation: 2024 Second International Conference on Data Science and Information System (ICDSIS)

    أضف إلى المفضلة
  2. 2
    مؤتمر
    Modeling and Verification of the Causal Broadcast Algorithm Using Colored Petri Nets

    المؤلفون: NamvariTazehkand, Leila, Pashazadeh, Saied

    المصدر: 2024 Third International Conference on Distributed Computing and High Performance Computing (DCHPC) Distributed Computing and High Performance Computing (DCHPC), 2024 Third International Conference on. :1-12 May, 2024

    Relation: 2024 Third International Conference on Distributed Computing and High Performance Computing (DCHPC)

    أضف إلى المفضلة
  3. 3
    دورية أكاديمية
    An Efficient Liveness Analysis Method for Petri Nets via Maximally Good-Step Graphs

    المؤلفون: Dou, H., Zhou, M., Wang, S., Albeshri, A.

    المصدر: IEEE Transactions on Systems, Man, and Cybernetics: Systems IEEE Trans. Syst. Man Cybern, Syst. Systems, Man, and Cybernetics: Systems, IEEE Transactions on. 54(7):3908-3919 Jul, 2024

    Full Text Finder
    أضف إلى المفضلة
  4. 4
    دورية أكاديمية
    Resiliency Analysis of Role-Based Access Control via Constraint Enforcement and Mathematical Programming

    المؤلفون: Yang, B., Hu, H.

    المصدر: IEEE Transactions on Systems, Man, and Cybernetics: Systems IEEE Trans. Syst. Man Cybern, Syst. Systems, Man, and Cybernetics: Systems, IEEE Transactions on. 54(7):4089-4100 Jul, 2024

    Full Text Finder
    أضف إلى المفضلة
  5. 5
    دورية أكاديمية
    A Verification Framework for Time-Triggered Networks Based on Timed Colored Petri Net

    المؤلفون: Zhong, W., Zhou, J., Sun, T., Song, X., Li, Z.

    المصدر: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems IEEE Trans. Comput.-Aided Des. Integr. Circuits Syst. Computer-Aided Design of Integrated Circuits and Systems, IEEE Transactions on. 43(7):2112-2125 Jul, 2024

    Full Text Finder
    أضف إلى المفضلة
  6. 6
    مؤتمر
    Resource Schedules for Persistent UAV Systems with Logistics Replenishment Platforms: Petri Net Models and LP Formulation

    المؤلفون: Altaweel, Ammar, Neebraz, Mirza E., Morrison, James R.

    المصدر: 2024 International Conference on Unmanned Aircraft Systems (ICUAS) Unmanned Aircraft Systems (ICUAS), 2024 International Conference on. :488-495 Jun, 2024

    Relation: 2024 International Conference on Unmanned Aircraft Systems (ICUAS)

    Full Text Finder
    أضف إلى المفضلة
  7. 7
    مؤتمر
    Software for Modeling Distributed Systems Using the Petri Net Apparatus

    المؤلفون: Kulagin, V. P., Muraviev, N. D.

    المصدر: 2024 Wave Electronics and its Application in Information and Telecommunication Systems (WECONF) Wave Electronics and its Application in Information and Telecommunication Systems (WECONF), 2024. :1-5 Jun, 2024

    Relation: 2024 Wave Electronics and its Application in Information and Telecommunication Systems (WECONF)

    أضف إلى المفضلة
  8. 8
    مؤتمر
    Using Petri Nets as an Integrated Constraint Mechanism for Reinforcement Learning Tasks

    المؤلفون: Sachweh, Timon, Haritz, Pierre, Liebig, Thomas

    المصدر: 2024 IEEE Intelligent Vehicles Symposium (IV) Intelligent Vehicles Symposium (IV), 2024 IEEE. :1686-1692 Jun, 2024

    Relation: 2024 IEEE Intelligent Vehicle Symposium (IV)

    Full Text Finder
    أضف إلى المفضلة
  9. 9
    مؤتمر
    Petri Net Modeling and Multi-Agent Dynamic Path Planning for AGV Scheduling System

    المؤلفون: Yu, Shaoqi, Tian, Yuping

    المصدر: 2024 36th Chinese Control and Decision Conference (CCDC) Control and Decision Conference (CCDC), 2024 36th Chinese. :819-824 May, 2024

    Relation: 2024 36th Chinese Control and Decision Conference (CCDC)

    Full Text Finder
    أضف إلى المفضلة
  10. 10
    مؤتمر
    Scheduling Optimization Based on Flexible Manufacturing Systems Modeled With Timed Petri Nets

    المؤلفون: Li, Li, Hu, Shaopeng, Liu, Ding

    المصدر: 2024 36th Chinese Control and Decision Conference (CCDC) Control and Decision Conference (CCDC), 2024 36th Chinese. :5828-5833 May, 2024

    Relation: 2024 36th Chinese Control and Decision Conference (CCDC)

    Full Text Finder
    أضف إلى المفضلة
أدوات البحث: أحصل على تغذية RSS – أرسل هذا البحث بالبريد الإلكتروني – حفظ البحث – جدول التنبيهات: لا شيء