{"title":"Specification of Cyber-Physical Systems with the Application of Interpreted Nets","authors":"I. Grobelna, R. Wiśniewski, Marcin Wojnakowski","doi":"10.1109/IECON.2019.8926908","DOIUrl":null,"url":null,"abstract":"The paper shows the application of interpreted nets for the specification of the cyber-physical system control unit. In particular, live and safe Petri nets are taken into account in order to present the concurrency relations in the designed system. Additionally, such nets include additional input and output signals used for communication with the environment. A CPS specified by the interpreted net can be easily verified (with the application of formal methods), analyzed, decomposed and even implemented (as an integrated or distributed system). The presented idea is illustrated by a manufacturing system case study.","PeriodicalId":187719,"journal":{"name":"IECON 2019 - 45th Annual Conference of the IEEE Industrial Electronics Society","volume":"731 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2019-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"7","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"IECON 2019 - 45th Annual Conference of the IEEE Industrial Electronics Society","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/IECON.2019.8926908","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 7
Abstract
The paper shows the application of interpreted nets for the specification of the cyber-physical system control unit. In particular, live and safe Petri nets are taken into account in order to present the concurrency relations in the designed system. Additionally, such nets include additional input and output signals used for communication with the environment. A CPS specified by the interpreted net can be easily verified (with the application of formal methods), analyzed, decomposed and even implemented (as an integrated or distributed system). The presented idea is illustrated by a manufacturing system case study.
京公网安备 11010802042870号
京ICP备2023020795号-1
分享
求助内容：
应助结果提醒方式：
扫码关注我们
