数字电路Petri网:一种用于产品安全工程中数字电路描述和转换的新型Petri网

2016 IEEE 6th International Conference on Consumer Electronics - Berlin (ICCE-Berlin) Pub Date : 2016-09-01 DOI:10.1109/ICCE-Berlin.2016.7684770

Christoph Brandau, Nils Potthoff, D. Tutsch, T. Lepich

{"title":"数字电路Petri网:一种用于产品安全工程中数字电路描述和转换的新型Petri网","authors":"Christoph Brandau, Nils Potthoff, D. Tutsch, T. Lepich","doi":"10.1109/ICCE-Berlin.2016.7684770","DOIUrl":null,"url":null,"abstract":"This paper introduces a new type of Petri nets to design digital circuits. Digital Circuit Petri Nets (DCPN) extend standard Petri nets with a bunch of new elements for the net description of input and output points. Additional a hierarchical structure is given to support clear readable designs of Petri nets with many elements. These DCPN will be used to design digital circuits für safety components. Several strategies are presented to generate digital circuits from such a Petri net description. The reachability graph will be used for the most of this strategies. They are implemtented into the Tool “Logical PetriNet”.","PeriodicalId":408379,"journal":{"name":"2016 IEEE 6th International Conference on Consumer Electronics - Berlin (ICCE-Berlin)","volume":"73 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2016-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"1","resultStr":"{\"title\":\"Digital Circuit Petri Nets: A new Petri net type to describe and transform digital circuits for product safety engineering\",\"authors\":\"Christoph Brandau, Nils Potthoff, D. Tutsch, T. Lepich\",\"doi\":\"10.1109/ICCE-Berlin.2016.7684770\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"This paper introduces a new type of Petri nets to design digital circuits. Digital Circuit Petri Nets (DCPN) extend standard Petri nets with a bunch of new elements for the net description of input and output points. Additional a hierarchical structure is given to support clear readable designs of Petri nets with many elements. These DCPN will be used to design digital circuits für safety components. Several strategies are presented to generate digital circuits from such a Petri net description. The reachability graph will be used for the most of this strategies. They are implemtented into the Tool “Logical PetriNet”.\",\"PeriodicalId\":408379,\"journal\":{\"name\":\"2016 IEEE 6th International Conference on Consumer Electronics - Berlin (ICCE-Berlin)\",\"volume\":\"73 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2016-09-01\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"1\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"2016 IEEE 6th International Conference on Consumer Electronics - Berlin (ICCE-Berlin)\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/ICCE-Berlin.2016.7684770\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"2016 IEEE 6th International Conference on Consumer Electronics - Berlin (ICCE-Berlin)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/ICCE-Berlin.2016.7684770","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 1

摘要

本文介绍了一种用于数字电路设计的新型Petri网。数字电路Petri网(Digital Circuit Petri Nets, DCPN)是对标准Petri网的扩展，加入了一组新的元素用于输入点和输出点的网络描述。另外，为了支持多元素Petri网的清晰易读设计，给出了分层结构。这些DCPN将用于设计数字电路中的 r安全元件。提出了几种利用Petri网描述生成数字电路的策略。可达性图将用于大多数策略。它们被实现到“逻辑PetriNet”工具中。

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

查看原文本刊更多论文

Digital Circuit Petri Nets: A new Petri net type to describe and transform digital circuits for product safety engineering

This paper introduces a new type of Petri nets to design digital circuits. Digital Circuit Petri Nets (DCPN) extend standard Petri nets with a bunch of new elements for the net description of input and output points. Additional a hierarchical structure is given to support clear readable designs of Petri nets with many elements. These DCPN will be used to design digital circuits für safety components. Several strategies are presented to generate digital circuits from such a Petri net description. The reachability graph will be used for the most of this strategies. They are implemtented into the Tool “Logical PetriNet”.

求助全文

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

来源期刊

2016 IEEE 6th International Conference on Consumer Electronics - Berlin (ICCE-Berlin)

自引率

0.00%

发文量