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 |
| FullText | Text: Availability: 0 |
|---|---|
| Header | DbId: edseee DbLabel: IEEE Xplore Digital Library An: edseee.9299169 RelevancyScore: 1025 AccessLevel: 2 PubType: Conference PubTypeId: conference PreciseRelevancyScore: 1025.15222167969 |
| IllustrationInfo | |
| Items | – Name: Title Label: Title Group: Ti Data: Automated Modelling of Deadlock-free Petri Nets Using Duplicated Transition Labels – Name: Author Label: Authors Group: Au Data: <searchLink fieldCode="AR" term="%22Pomares-Angelino%2C+Roman%22">Pomares-Angelino, Roman</searchLink><br /><searchLink fieldCode="AR" term="%22Lopez-Mellado%2C+Ernesto%22">Lopez-Mellado, Ernesto</searchLink> – Name: TitleSource Label: Source Group: Src Data: 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 – Name: NoteTitleSource Label: Relation Group: SrcInfo Data: 2020 17th International Conference on Electrical Engineering, Computing Science and Automatic Control (CCE) |
| PLink | https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=edseee&AN=edseee.9299169 |
| RecordInfo | BibRecord: BibEntity: Identifiers: – Type: doi Value: 10.1109/CCE50788.2020.9299169 PhysicalDescription: Pagination: PageCount: 7 StartPage: 1 Titles: – TitleFull: Automated Modelling of Deadlock-free Petri Nets Using Duplicated Transition Labels Type: main BibRelationships: HasContributorRelationships: – PersonEntity: Name: NameFull: Pomares-Angelino, Roman – PersonEntity: Name: NameFull: Lopez-Mellado, Ernesto IsPartOfRelationships: – BibEntity: Dates: – D: 11 M: 11 Type: published Y: 2020 Identifiers: – Type: isbn-print Value: 9781728189871 – Type: isbn-print Value: 9781728189864 – Type: issn-print Value: 26423766 – Type: issn-locals Value: edseee.IEEEConferenc Titles: – TitleFull: 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 Type: main |
| ResultId | 1 |