{"title":"Modeling and analysis of communication and cooperation protocols using petri net based models","authors":"Michel Diaz","doi":"10.1016/0376-5075(82)90112-X","DOIUrl":null,"url":null,"abstract":"<div><p>Numerous modeling approaches exist to formally describe protocols such as: state machines, Petri nets, abstract data types, high level languages, temporal logic. This paper deals with one of them, Petri nets including related models. It presents the most important classes of nets, gives their analysis possibilities and shows how they can be used to model and analyze communication and cooperation protocols.</p></div>","PeriodicalId":100316,"journal":{"name":"Computer Networks (1976)","volume":"6 6","pages":"Pages 419-441"},"PeriodicalIF":0.0000,"publicationDate":"1982-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1016/0376-5075(82)90112-X","citationCount":"182","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Computer Networks (1976)","FirstCategoryId":"1085","ListUrlMain":"https://www.sciencedirect.com/science/article/pii/037650758290112X","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 182
Abstract
Numerous modeling approaches exist to formally describe protocols such as: state machines, Petri nets, abstract data types, high level languages, temporal logic. This paper deals with one of them, Petri nets including related models. It presents the most important classes of nets, gives their analysis possibilities and shows how they can be used to model and analyze communication and cooperation protocols.
求助内容：
应助结果提醒方式：
京公网安备 11010802042870号
