مؤتمر
Controller design for an FMS using Signal Interpreted Petri Nets and SFC: Validation of both descriptions via model-checking
العنوان: | Controller design for an FMS using Signal Interpreted Petri Nets and SFC: Validation of both descriptions via model-checking |
---|---|
المؤلفون: | Klein, S., Xiying Weng, Frey, G., Lesage, J.-J., Litz, L. |
المصدر: | Proceedings of the 2002 American Control Conference (IEEE Cat. No.CH37301) American control conference American Control Conference, 2002. Proceedings of the 2002. 5:4141-4146 vol.5 2002 |
Relation: | Proceedings of 2002 American Control Conference |
قاعدة البيانات: | IEEE Xplore Digital Library |
ردمك: | 0780372980 9780780372986 |
---|---|
تدمد: | 07431619 |
DOI: | 10.1109/ACC.2002.1024579 |