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