Matches in SemOpenAlex for { <https://semopenalex.org/work/W2597066076> ?p ?o ?g. }
- W2597066076 endingPage "1176" @default.
- W2597066076 startingPage "1166" @default.
- W2597066076 abstract "This paper presents an ordinary Petri net (PN)-based approach to the modeling and race-detection problems of programs for programmable logic controllers (PLCs). First, a PLC program is formalized by a graph where nodes represent contacts and coils. Second, an algorithm is proposed to translate this graph into an ordinary PN. Third, a method is presented to detect whether there exists a race in a program by using a reachability graph technique, to locate a race by introducing the race path, and to correct a race by analyzing the subnet that contains it. An example is utilized to illustrate the theoretic results." @default.
- W2597066076 created "2017-03-23" @default.
- W2597066076 creator A5003377218 @default.
- W2597066076 creator A5006499735 @default.
- W2597066076 creator A5026984704 @default.
- W2597066076 creator A5081318069 @default.
- W2597066076 date "2018-07-01" @default.
- W2597066076 modified "2023-09-25" @default.
- W2597066076 title "Modeling and Race Detection of Ladder Diagrams via Ordinary Petri Nets" @default.
- W2597066076 cites W1547669136 @default.
- W2597066076 cites W1901073283 @default.
- W2597066076 cites W1968205912 @default.
- W2597066076 cites W1984976979 @default.
- W2597066076 cites W1991135496 @default.
- W2597066076 cites W2005581605 @default.
- W2597066076 cites W2018422812 @default.
- W2597066076 cites W2021859010 @default.
- W2597066076 cites W2035680518 @default.
- W2597066076 cites W2039542278 @default.
- W2597066076 cites W2057959989 @default.
- W2597066076 cites W2059933478 @default.
- W2597066076 cites W2061454845 @default.
- W2597066076 cites W2075189070 @default.
- W2597066076 cites W2078374173 @default.
- W2597066076 cites W2079144454 @default.
- W2597066076 cites W2086343464 @default.
- W2597066076 cites W2090533273 @default.
- W2597066076 cites W2112963513 @default.
- W2597066076 cites W2113418311 @default.
- W2597066076 cites W2115300444 @default.
- W2597066076 cites W2119133182 @default.
- W2597066076 cites W2121703094 @default.
- W2597066076 cites W2121750060 @default.
- W2597066076 cites W2122713881 @default.
- W2597066076 cites W2122836287 @default.
- W2597066076 cites W2145317433 @default.
- W2597066076 cites W2146960501 @default.
- W2597066076 cites W2148635958 @default.
- W2597066076 cites W2149030441 @default.
- W2597066076 cites W2151008975 @default.
- W2597066076 cites W2152008376 @default.
- W2597066076 cites W2154585829 @default.
- W2597066076 cites W2159950991 @default.
- W2597066076 cites W2160239591 @default.
- W2597066076 cites W2171600224 @default.
- W2597066076 cites W2172300075 @default.
- W2597066076 cites W2275235874 @default.
- W2597066076 cites W2327842180 @default.
- W2597066076 cites W2331810168 @default.
- W2597066076 cites W2489834867 @default.
- W2597066076 cites W2048116085 @default.
- W2597066076 doi "https://doi.org/10.1109/tsmc.2016.2647219" @default.
- W2597066076 hasPublicationYear "2018" @default.
- W2597066076 type Work @default.
- W2597066076 sameAs 2597066076 @default.
- W2597066076 citedByCount "19" @default.
- W2597066076 countsByYear W25970660762018 @default.
- W2597066076 countsByYear W25970660762019 @default.
- W2597066076 countsByYear W25970660762020 @default.
- W2597066076 countsByYear W25970660762021 @default.
- W2597066076 countsByYear W25970660762022 @default.
- W2597066076 countsByYear W25970660762023 @default.
- W2597066076 crossrefType "journal-article" @default.
- W2597066076 hasAuthorship W2597066076A5003377218 @default.
- W2597066076 hasAuthorship W2597066076A5006499735 @default.
- W2597066076 hasAuthorship W2597066076A5026984704 @default.
- W2597066076 hasAuthorship W2597066076A5081318069 @default.
- W2597066076 hasConcept C11413529 @default.
- W2597066076 hasConcept C132525143 @default.
- W2597066076 hasConcept C136643341 @default.
- W2597066076 hasConcept C197551870 @default.
- W2597066076 hasConcept C21099817 @default.
- W2597066076 hasConcept C31258907 @default.
- W2597066076 hasConcept C38677869 @default.
- W2597066076 hasConcept C41008148 @default.
- W2597066076 hasConcept C59822182 @default.
- W2597066076 hasConcept C76509639 @default.
- W2597066076 hasConcept C80444323 @default.
- W2597066076 hasConcept C86803240 @default.
- W2597066076 hasConceptScore W2597066076C11413529 @default.
- W2597066076 hasConceptScore W2597066076C132525143 @default.
- W2597066076 hasConceptScore W2597066076C136643341 @default.
- W2597066076 hasConceptScore W2597066076C197551870 @default.
- W2597066076 hasConceptScore W2597066076C21099817 @default.
- W2597066076 hasConceptScore W2597066076C31258907 @default.
- W2597066076 hasConceptScore W2597066076C38677869 @default.
- W2597066076 hasConceptScore W2597066076C41008148 @default.
- W2597066076 hasConceptScore W2597066076C59822182 @default.
- W2597066076 hasConceptScore W2597066076C76509639 @default.
- W2597066076 hasConceptScore W2597066076C80444323 @default.
- W2597066076 hasConceptScore W2597066076C86803240 @default.
- W2597066076 hasFunder F4320321001 @default.
- W2597066076 hasIssue "7" @default.
- W2597066076 hasLocation W25970660761 @default.
- W2597066076 hasOpenAccess W2597066076 @default.
- W2597066076 hasPrimaryLocation W25970660761 @default.
- W2597066076 hasRelatedWork W1482993605 @default.
- W2597066076 hasRelatedWork W1522386340 @default.