مؤتمر
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 |
Full Text Finder | ردمك: | 0780372980 9780780372986 |
|---|---|
| تدمد: | 07431619 |
| DOI: | 10.1109/ACC.2002.1024579 |