On the synthesis of a controllable supervisor for discrete processes modeled by temporal Petri nets

التفاصيل البيبلوغرافية
العنوان: On the synthesis of a controllable supervisor for discrete processes modeled by temporal Petri nets
المؤلفون: Caramihai, S.I., Alla, H.
المصدر: Proceedings. 1998 IEEE International Conference on Robotics and Automation (Cat. No.98CH36146) Robotics and automation Robotics and Automation, 1998. Proceedings. 1998 IEEE International Conference on. 2:1179-1184 vol.2 1998
Relation: IEEE International Conference on Robotics and Automation
قاعدة البيانات: IEEE Xplore Digital Library
الوصف
ردمك:078034300X
9780780343009
تدمد:10504729
DOI:10.1109/ROBOT.1998.677253