并行/分布式程序开发中petri网的数学转换

Proceedings., Fourteenth Annual International Computer Software and Applications Conference Pub Date : 1990-10-31 DOI:10.1109/CMPSAC.1990.139334

Y. Papelis, T. Casavant

{"title":"并行/分布式程序开发中petri网的数学转换","authors":"Y. Papelis, T. Casavant","doi":"10.1109/CMPSAC.1990.139334","DOIUrl":null,"url":null,"abstract":"A novel approach for visually specifying parallel/distributed software using extended Petri-nets (PNS) is investigated. The approach is demonstrated to be useful in the specification of decision-making activities that control distributed computing systems. PNs are employed because of their highly visual nature that can give insight into the nature of the controller of such a system and because of their well-known analytical properties. In order to increase the expressive power of PNs, the extension of transition enabling functions is used. The main focus is a set of automatic transformations derived to transform such an extended net into a basic PN. Then, well-known analytical methods can be used to investigate characteristic properties of the system and validate correct operation. A graphical programming tool (XPAT) has been built to automate the visual programming process as well as the transformations.<<ETX>>","PeriodicalId":127509,"journal":{"name":"Proceedings., Fourteenth Annual International Computer Software and Applications Conference","volume":"218 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1990-10-31","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Mathematical transformation of Petri-nets for development of parallel/distributed programs\",\"authors\":\"Y. Papelis, T. Casavant\",\"doi\":\"10.1109/CMPSAC.1990.139334\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"A novel approach for visually specifying parallel/distributed software using extended Petri-nets (PNS) is investigated. The approach is demonstrated to be useful in the specification of decision-making activities that control distributed computing systems. PNs are employed because of their highly visual nature that can give insight into the nature of the controller of such a system and because of their well-known analytical properties. In order to increase the expressive power of PNs, the extension of transition enabling functions is used. The main focus is a set of automatic transformations derived to transform such an extended net into a basic PN. Then, well-known analytical methods can be used to investigate characteristic properties of the system and validate correct operation. A graphical programming tool (XPAT) has been built to automate the visual programming process as well as the transformations.<<ETX>>\",\"PeriodicalId\":127509,\"journal\":{\"name\":\"Proceedings., Fourteenth Annual International Computer Software and Applications Conference\",\"volume\":\"218 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1990-10-31\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Proceedings., Fourteenth Annual International Computer Software and Applications Conference\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/CMPSAC.1990.139334\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Proceedings., Fourteenth Annual International Computer Software and Applications Conference","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/CMPSAC.1990.139334","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 0

摘要

研究了一种利用扩展petri网(PNS)可视化地描述并行/分布式软件的新方法。该方法在规范控制分布式计算系统的决策活动方面被证明是有用的。采用PNs是因为它们高度可视化的性质，可以深入了解这种系统的控制器的性质，也因为它们众所周知的分析性质。为了提高PNs的表达能力，采用了转换使能函数的扩展。主要的焦点是一组自动转换，以将这种扩展的网络转换为基本的PN。然后，可以使用众所周知的分析方法来研究系统的特性并验证正确的操作。已经构建了一个图形化编程工具(XPAT)来自动化可视化编程过程以及转换。

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

查看原文本刊更多论文

Mathematical transformation of Petri-nets for development of parallel/distributed programs

A novel approach for visually specifying parallel/distributed software using extended Petri-nets (PNS) is investigated. The approach is demonstrated to be useful in the specification of decision-making activities that control distributed computing systems. PNs are employed because of their highly visual nature that can give insight into the nature of the controller of such a system and because of their well-known analytical properties. In order to increase the expressive power of PNs, the extension of transition enabling functions is used. The main focus is a set of automatic transformations derived to transform such an extended net into a basic PN. Then, well-known analytical methods can be used to investigate characteristic properties of the system and validate correct operation. A graphical programming tool (XPAT) has been built to automate the visual programming process as well as the transformations.<>

求助全文

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

来源期刊

Proceedings., Fourteenth Annual International Computer Software and Applications Conference

自引率

0.00%

发文量