مؤتمر
New Formal Descriptions for Timed Coloured Petri Nets Using Formal Series
| العنوان: | New Formal Descriptions for Timed Coloured Petri Nets Using Formal Series |
|---|---|
| المؤلفون: | dit Sollier, Louis Bal, Ourghanlian, Alain, Amari, Said |
| المصدر: | 2023 62nd IEEE Conference on Decision and Control (CDC) Decision and Control (CDC), 2023 62nd IEEE Conference on. :7373-7379 Dec, 2023 |
| Relation: | 2023 62nd IEEE Conference on Decision and Control (CDC) |
| قاعدة البيانات: | IEEE Xplore Digital Library |
Full Text Finder | ردمك: | 9798350301243 9798350301236 |
|---|---|
| تدمد: | 25762370 |
| DOI: | 10.1109/CDC49753.2023.10383547 |