Conference
Automated Modelling of Deadlock-free Petri Nets Using Duplicated Transition Labels
| Τίτλος: | Automated Modelling of Deadlock-free Petri Nets Using Duplicated Transition Labels |
|---|---|
| Συγγραφείς: | Pomares-Angelino, Roman, Lopez-Mellado, Ernesto |
| Πηγή: | 2020 17th International Conference on Electrical Engineering, Computing Science and Automatic Control (CCE) Electrical Engineering, Computing Science and Automatic Control (CCE), 2020 17th International Conference on. :1-7 Nov, 2020 |
| Relation: | 2020 17th International Conference on Electrical Engineering, Computing Science and Automatic Control (CCE) |
| Βάση Δεδομένων: | IEEE Xplore Digital Library |
| ISBN: | 9781728189871 9781728189864 |
|---|---|
| ISSN: | 26423766 |
| DOI: | 10.1109/CCE50788.2020.9299169 |