一类标记Petri网及其组成证明系统

[1988] Proceedings. Third Annual Information Symposium on Logic in Computer Science Pub Date : 1988-07-05 DOI:10.1109/LICS.1988.5113

G. Winskel

{"title":"一类标记Petri网及其组成证明系统","authors":"G. Winskel","doi":"10.1109/LICS.1988.5113","DOIUrl":null,"url":null,"abstract":"An attempt is made to cast labeled Petri nets and other models in an algebraic framework. One aim is to utilize the framework of categorical l to cast labeled Petri nets and other models in an algebraic framework. The other aim is to utilize the framework of categorical logic to systematize specification languages and the derivation of proof systems for parallel processes. A category of labeled nets is presented, and its categorical constructions are used to establish a compositional proof system. A category of properties of nets is used in forming the proof system.<<ETX>>","PeriodicalId":425186,"journal":{"name":"[1988] Proceedings. Third Annual Information Symposium on Logic in Computer Science","volume":"29 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1988-07-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"41","resultStr":"{\"title\":\"A category of labelled Petri nets and compositional proof system\",\"authors\":\"G. Winskel\",\"doi\":\"10.1109/LICS.1988.5113\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"An attempt is made to cast labeled Petri nets and other models in an algebraic framework. One aim is to utilize the framework of categorical l to cast labeled Petri nets and other models in an algebraic framework. The other aim is to utilize the framework of categorical logic to systematize specification languages and the derivation of proof systems for parallel processes. A category of labeled nets is presented, and its categorical constructions are used to establish a compositional proof system. A category of properties of nets is used in forming the proof system.<<ETX>>\",\"PeriodicalId\":425186,\"journal\":{\"name\":\"[1988] Proceedings. Third Annual Information Symposium on Logic in Computer Science\",\"volume\":\"29 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1988-07-05\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"41\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"[1988] Proceedings. Third Annual Information Symposium on Logic in Computer Science\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/LICS.1988.5113\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"[1988] Proceedings. Third Annual Information Symposium on Logic in Computer Science","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/LICS.1988.5113","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 41

摘要

尝试在代数框架中建立标记的Petri网和其他模型。一个目的是利用范畴1的框架，在代数框架中投射标记Petri网和其他模型。另一个目的是利用范畴逻辑的框架来系统化规范语言和并行过程的证明系统的推导。提出了标签网的一个范畴，并利用其范畴结构建立了组成证明体系。网的一类性质被用于形成证明系统。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

A category of labelled Petri nets and compositional proof system

An attempt is made to cast labeled Petri nets and other models in an algebraic framework. One aim is to utilize the framework of categorical l to cast labeled Petri nets and other models in an algebraic framework. The other aim is to utilize the framework of categorical logic to systematize specification languages and the derivation of proof systems for parallel processes. A category of labeled nets is presented, and its categorical constructions are used to establish a compositional proof system. A category of properties of nets is used in forming the proof system.<>

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

[1988] Proceedings. Third Annual Information Symposium on Logic in Computer Science

自引率

0.00%

发文量