Matches in SemOpenAlex for { <https://semopenalex.org/work/W2113672829> ?p ?o ?g. }
Showing items 1 to 94 of
94
with 100 items per page.
- W2113672829 endingPage "626" @default.
- W2113672829 startingPage "621" @default.
- W2113672829 abstract "The paper presents an original approach to model checking of Control Interpreted Petri Nets. Petri Nets are currently used in the industry, but they are mostly verified only for structural properties. However, behavior properties are also of great importance. They can be verified using model checking technique. Model checking of specification allows to early detect subtle errors resulting from incorrect specification interpretation. Model description derived from Petri net is presented at RTL-level in such a way that it is easy to synthesize as reconfigurable logic controller or PLC as well as to formally verify for behavioral properties." @default.
- W2113672829 created "2016-06-24" @default.
- W2113672829 creator A5009629691 @default.
- W2113672829 creator A5060224230 @default.
- W2113672829 date "2011-06-16" @default.
- W2113672829 modified "2023-09-24" @default.
- W2113672829 title "Model checking of Control Interpreted Petri Nets" @default.
- W2113672829 cites W1481239357 @default.
- W2113672829 cites W1487936617 @default.
- W2113672829 cites W1489227129 @default.
- W2113672829 cites W1530920082 @default.
- W2113672829 cites W1581155387 @default.
- W2113672829 cites W1606452969 @default.
- W2113672829 cites W1679534293 @default.
- W2113672829 cites W1714370737 @default.
- W2113672829 cites W1998021290 @default.
- W2113672829 cites W2030926579 @default.
- W2113672829 cites W2034717157 @default.
- W2113672829 cites W2096101873 @default.
- W2113672829 cites W2096455207 @default.
- W2113672829 cites W2120450154 @default.
- W2113672829 cites W2158235344 @default.
- W2113672829 cites W2167118463 @default.
- W2113672829 cites W2170301162 @default.
- W2113672829 cites W2202777166 @default.
- W2113672829 cites W2492569387 @default.
- W2113672829 cites W2499902956 @default.
- W2113672829 cites W2589833462 @default.
- W2113672829 cites W591480010 @default.
- W2113672829 cites W2121483787 @default.
- W2113672829 hasPublicationYear "2011" @default.
- W2113672829 type Work @default.
- W2113672829 sameAs 2113672829 @default.
- W2113672829 citedByCount "7" @default.
- W2113672829 countsByYear W21136728292012 @default.
- W2113672829 countsByYear W21136728292016 @default.
- W2113672829 crossrefType "proceedings-article" @default.
- W2113672829 hasAuthorship W2113672829A5009629691 @default.
- W2113672829 hasAuthorship W2113672829A5060224230 @default.
- W2113672829 hasConcept C110251889 @default.
- W2113672829 hasConcept C111919701 @default.
- W2113672829 hasConcept C136155141 @default.
- W2113672829 hasConcept C154945302 @default.
- W2113672829 hasConcept C197551870 @default.
- W2113672829 hasConcept C199360897 @default.
- W2113672829 hasConcept C25016198 @default.
- W2113672829 hasConcept C2775924081 @default.
- W2113672829 hasConcept C37374048 @default.
- W2113672829 hasConcept C38677869 @default.
- W2113672829 hasConcept C41008148 @default.
- W2113672829 hasConcept C527412718 @default.
- W2113672829 hasConcept C80444323 @default.
- W2113672829 hasConceptScore W2113672829C110251889 @default.
- W2113672829 hasConceptScore W2113672829C111919701 @default.
- W2113672829 hasConceptScore W2113672829C136155141 @default.
- W2113672829 hasConceptScore W2113672829C154945302 @default.
- W2113672829 hasConceptScore W2113672829C197551870 @default.
- W2113672829 hasConceptScore W2113672829C199360897 @default.
- W2113672829 hasConceptScore W2113672829C25016198 @default.
- W2113672829 hasConceptScore W2113672829C2775924081 @default.
- W2113672829 hasConceptScore W2113672829C37374048 @default.
- W2113672829 hasConceptScore W2113672829C38677869 @default.
- W2113672829 hasConceptScore W2113672829C41008148 @default.
- W2113672829 hasConceptScore W2113672829C527412718 @default.
- W2113672829 hasConceptScore W2113672829C80444323 @default.
- W2113672829 hasLocation W21136728291 @default.
- W2113672829 hasOpenAccess W2113672829 @default.
- W2113672829 hasPrimaryLocation W21136728291 @default.
- W2113672829 hasRelatedWork W1541031870 @default.
- W2113672829 hasRelatedWork W1543180705 @default.
- W2113672829 hasRelatedWork W1920169291 @default.
- W2113672829 hasRelatedWork W1951533283 @default.
- W2113672829 hasRelatedWork W2013054304 @default.
- W2113672829 hasRelatedWork W2027054524 @default.
- W2113672829 hasRelatedWork W2045523968 @default.
- W2113672829 hasRelatedWork W2049852498 @default.
- W2113672829 hasRelatedWork W2088625186 @default.
- W2113672829 hasRelatedWork W2098552099 @default.
- W2113672829 hasRelatedWork W2113040727 @default.
- W2113672829 hasRelatedWork W2133860450 @default.
- W2113672829 hasRelatedWork W2143653244 @default.
- W2113672829 hasRelatedWork W2151612633 @default.
- W2113672829 hasRelatedWork W2158356958 @default.
- W2113672829 hasRelatedWork W2171770208 @default.
- W2113672829 hasRelatedWork W2359796614 @default.
- W2113672829 hasRelatedWork W2498717329 @default.
- W2113672829 hasRelatedWork W2131142053 @default.
- W2113672829 hasRelatedWork W2741189801 @default.
- W2113672829 isParatext "false" @default.
- W2113672829 isRetracted "false" @default.
- W2113672829 magId "2113672829" @default.
- W2113672829 workType "article" @default.