Matches in SemOpenAlex for { <https://semopenalex.org/work/W2384165622> ?p ?o ?g. }
Showing items 1 to 63 of
63
with 100 items per page.
- W2384165622 abstract "PNO with precise marking is a kind of PNO in which the same object neither occur in more than one place at the same time nor occur more than one times in the same token.SMV is a powerful symbol verification tool.This paper present an algorithm for transfer a PNO model with precise marking into a SMV program,and demonstrates the process through a case of Train Operation Petri Net with Objects(TOPNO).The case show that we can not only solves the problem effectively for verifying the properties such as safety and liveness of a PNO with precise marking model through the algorithm,but also solves the problem for verifying the properties of objects in the model." @default.
- W2384165622 created "2016-06-24" @default.
- W2384165622 creator A5045940041 @default.
- W2384165622 date "2006-01-01" @default.
- W2384165622 modified "2023-09-23" @default.
- W2384165622 title "The Methods for Verifying PNO with Precisemarking Model" @default.
- W2384165622 hasPublicationYear "2006" @default.
- W2384165622 type Work @default.
- W2384165622 sameAs 2384165622 @default.
- W2384165622 citedByCount "0" @default.
- W2384165622 crossrefType "journal-article" @default.
- W2384165622 hasAuthorship W2384165622A5045940041 @default.
- W2384165622 hasConcept C11413529 @default.
- W2384165622 hasConcept C134400042 @default.
- W2384165622 hasConcept C154945302 @default.
- W2384165622 hasConcept C15569618 @default.
- W2384165622 hasConcept C199360897 @default.
- W2384165622 hasConcept C2781238097 @default.
- W2384165622 hasConcept C38652104 @default.
- W2384165622 hasConcept C38677869 @default.
- W2384165622 hasConcept C41008148 @default.
- W2384165622 hasConcept C48145219 @default.
- W2384165622 hasConcept C80444323 @default.
- W2384165622 hasConcept C98045186 @default.
- W2384165622 hasConceptScore W2384165622C11413529 @default.
- W2384165622 hasConceptScore W2384165622C134400042 @default.
- W2384165622 hasConceptScore W2384165622C154945302 @default.
- W2384165622 hasConceptScore W2384165622C15569618 @default.
- W2384165622 hasConceptScore W2384165622C199360897 @default.
- W2384165622 hasConceptScore W2384165622C2781238097 @default.
- W2384165622 hasConceptScore W2384165622C38652104 @default.
- W2384165622 hasConceptScore W2384165622C38677869 @default.
- W2384165622 hasConceptScore W2384165622C41008148 @default.
- W2384165622 hasConceptScore W2384165622C48145219 @default.
- W2384165622 hasConceptScore W2384165622C80444323 @default.
- W2384165622 hasConceptScore W2384165622C98045186 @default.
- W2384165622 hasLocation W23841656221 @default.
- W2384165622 hasOpenAccess W2384165622 @default.
- W2384165622 hasPrimaryLocation W23841656221 @default.
- W2384165622 hasRelatedWork W1481239357 @default.
- W2384165622 hasRelatedWork W1493222783 @default.
- W2384165622 hasRelatedWork W1493490750 @default.
- W2384165622 hasRelatedWork W1561450509 @default.
- W2384165622 hasRelatedWork W1569942099 @default.
- W2384165622 hasRelatedWork W1991633005 @default.
- W2384165622 hasRelatedWork W2104978174 @default.
- W2384165622 hasRelatedWork W2134028041 @default.
- W2384165622 hasRelatedWork W2150399591 @default.
- W2384165622 hasRelatedWork W2269859548 @default.
- W2384165622 hasRelatedWork W2293712905 @default.
- W2384165622 hasRelatedWork W2359287021 @default.
- W2384165622 hasRelatedWork W2536421901 @default.
- W2384165622 hasRelatedWork W2553899165 @default.
- W2384165622 hasRelatedWork W2755144723 @default.
- W2384165622 hasRelatedWork W2900905284 @default.
- W2384165622 hasRelatedWork W2964030920 @default.
- W2384165622 hasRelatedWork W3092870010 @default.
- W2384165622 hasRelatedWork W3147623613 @default.
- W2384165622 hasRelatedWork W2981785382 @default.
- W2384165622 isParatext "false" @default.
- W2384165622 isRetracted "false" @default.
- W2384165622 magId "2384165622" @default.
- W2384165622 workType "article" @default.