Matches in SemOpenAlex for { <https://semopenalex.org/work/W2360488905> ?p ?o ?g. }
Showing items 1 to 73 of
73
with 100 items per page.
- W2360488905 abstract "Formal methods for the analysis of protocol based on Petri nets have been looked on a credible and exact way in protocol analysis.But now,the research on formal analysis of protocol is not thorough.Particularly,there is some conflict between protocol validation and evaluates.In this paper,we make a summary of the methods on protocol analy- sis based on Petri nets.Then we investigate the relationship between the protocol behavior and the properties of Petri nets.The most important is that we propose a new method about protocol analysis.This method gives a detail valida- tion of protocol using prototype Petri net.We ehange prototype Petri net into Timed Petri net,so the protocol per- formanee evaluates problem can be solved.As an example,we make a detail analysis of 0-1 stop-and-wait protocol u- sing Petri nets model and give evaluates the performance of it using TPN." @default.
- W2360488905 created "2016-06-24" @default.
- W2360488905 creator A5016439631 @default.
- W2360488905 creator A5038314983 @default.
- W2360488905 date "2005-01-01" @default.
- W2360488905 modified "2023-09-23" @default.
- W2360488905 title "Protocol Validation and Performance Evaluates Based on Petri Nets" @default.
- W2360488905 hasPublicationYear "2005" @default.
- W2360488905 type Work @default.
- W2360488905 sameAs 2360488905 @default.
- W2360488905 citedByCount "0" @default.
- W2360488905 crossrefType "journal-article" @default.
- W2360488905 hasAuthorship W2360488905A5016439631 @default.
- W2360488905 hasAuthorship W2360488905A5038314983 @default.
- W2360488905 hasConcept C120314980 @default.
- W2360488905 hasConcept C133112747 @default.
- W2360488905 hasConcept C136155141 @default.
- W2360488905 hasConcept C138885662 @default.
- W2360488905 hasConcept C142724271 @default.
- W2360488905 hasConcept C146763376 @default.
- W2360488905 hasConcept C197551870 @default.
- W2360488905 hasConcept C199360897 @default.
- W2360488905 hasConcept C204787440 @default.
- W2360488905 hasConcept C2780385302 @default.
- W2360488905 hasConcept C38677869 @default.
- W2360488905 hasConcept C41008148 @default.
- W2360488905 hasConcept C41895202 @default.
- W2360488905 hasConcept C54355233 @default.
- W2360488905 hasConcept C71924100 @default.
- W2360488905 hasConcept C75606506 @default.
- W2360488905 hasConcept C86803240 @default.
- W2360488905 hasConceptScore W2360488905C120314980 @default.
- W2360488905 hasConceptScore W2360488905C133112747 @default.
- W2360488905 hasConceptScore W2360488905C136155141 @default.
- W2360488905 hasConceptScore W2360488905C138885662 @default.
- W2360488905 hasConceptScore W2360488905C142724271 @default.
- W2360488905 hasConceptScore W2360488905C146763376 @default.
- W2360488905 hasConceptScore W2360488905C197551870 @default.
- W2360488905 hasConceptScore W2360488905C199360897 @default.
- W2360488905 hasConceptScore W2360488905C204787440 @default.
- W2360488905 hasConceptScore W2360488905C2780385302 @default.
- W2360488905 hasConceptScore W2360488905C38677869 @default.
- W2360488905 hasConceptScore W2360488905C41008148 @default.
- W2360488905 hasConceptScore W2360488905C41895202 @default.
- W2360488905 hasConceptScore W2360488905C54355233 @default.
- W2360488905 hasConceptScore W2360488905C71924100 @default.
- W2360488905 hasConceptScore W2360488905C75606506 @default.
- W2360488905 hasConceptScore W2360488905C86803240 @default.
- W2360488905 hasOpenAccess W2360488905 @default.
- W2360488905 hasRelatedWork W1504400473 @default.
- W2360488905 hasRelatedWork W1997575049 @default.
- W2360488905 hasRelatedWork W1999932514 @default.
- W2360488905 hasRelatedWork W2017309458 @default.
- W2360488905 hasRelatedWork W2019663985 @default.
- W2360488905 hasRelatedWork W2095622162 @default.
- W2360488905 hasRelatedWork W2147538876 @default.
- W2360488905 hasRelatedWork W2167612183 @default.
- W2360488905 hasRelatedWork W2322720539 @default.
- W2360488905 hasRelatedWork W2351611633 @default.
- W2360488905 hasRelatedWork W2360499777 @default.
- W2360488905 hasRelatedWork W2363778731 @default.
- W2360488905 hasRelatedWork W2371674209 @default.
- W2360488905 hasRelatedWork W2381363639 @default.
- W2360488905 hasRelatedWork W2382706021 @default.
- W2360488905 hasRelatedWork W2389506534 @default.
- W2360488905 hasRelatedWork W2391826829 @default.
- W2360488905 hasRelatedWork W2393998259 @default.
- W2360488905 hasRelatedWork W2564489266 @default.
- W2360488905 hasRelatedWork W796717490 @default.
- W2360488905 isParatext "false" @default.
- W2360488905 isRetracted "false" @default.
- W2360488905 magId "2360488905" @default.
- W2360488905 workType "article" @default.