دورية أكاديمية
Dynamic Slicing of Time Petri Net Based on MTL Property
| العنوان: | Dynamic Slicing of Time Petri Net Based on MTL Property |
|---|---|
| المؤلفون: | Chariyathitipong, P., Vatanawood, W. |
| المصدر: | IEEE Access Access, IEEE. 10:45207-45218 2022 |
| قاعدة البيانات: | IEEE Xplore Digital Library |
Full Text Finder | تدمد: | 21693536 |
|---|---|
| DOI: | 10.1109/ACCESS.2022.3170094 |