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