{"title":"基于定时Petri网的流水线电路设计与验证","authors":"Rémi Parrot, M. Briday, O. Roux","doi":"10.1007/s10626-022-00371-7","DOIUrl":null,"url":null,"abstract":"","PeriodicalId":55174,"journal":{"name":"Discrete Event Dynamic Systems-Theory and Applications","volume":"33 1","pages":"1-24"},"PeriodicalIF":1.4000,"publicationDate":"2022-12-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Design and verification of pipelined circuits with Timed Petri Nets\",\"authors\":\"Rémi Parrot, M. Briday, O. Roux\",\"doi\":\"10.1007/s10626-022-00371-7\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"\",\"PeriodicalId\":55174,\"journal\":{\"name\":\"Discrete Event Dynamic Systems-Theory and Applications\",\"volume\":\"33 1\",\"pages\":\"1-24\"},\"PeriodicalIF\":1.4000,\"publicationDate\":\"2022-12-15\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Discrete Event Dynamic Systems-Theory and Applications\",\"FirstCategoryId\":\"94\",\"ListUrlMain\":\"https://doi.org/10.1007/s10626-022-00371-7\",\"RegionNum\":4,\"RegionCategory\":\"计算机科学\",\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q4\",\"JCRName\":\"AUTOMATION & CONTROL SYSTEMS\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Discrete Event Dynamic Systems-Theory and Applications","FirstCategoryId":"94","ListUrlMain":"https://doi.org/10.1007/s10626-022-00371-7","RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q4","JCRName":"AUTOMATION & CONTROL SYSTEMS","Score":null,"Total":0}
期刊介绍：
The research on discrete event dynamic systems (DEDSs) is multi-disciplinary in nature and its development has been dynamic. Examples of DEDSs include manufacturing plants, communication networks, computer systems, management information databases, logistics systems, command-control-communication systems, robotics, and other man-made operational systems. The state processes of such systems cannot be described by differential equations in general. The aim of this journal, Discrete Event Dynamic Systems: Theory and Applications, is to publish high-quality, peer-reviewed papers on the modeling and control of, and all other aspects related to, DEDSs. In particular, the journal publishes papers dealing with general theories and methodologies of DEDSs and their applications to any particular subject, including hybrid systems, as well as papers discussing practical problems from which some generally applicable DEDS theories or methodologies can be formulated; The scope of this journal is defined by its emphasis on discrete events and the dynamic nature of the systems and on their modeling, control and optimization.
京公网安备 11010802042870号
京ICP备2023020795号-1
分享
求助内容：
应助结果提醒方式：
扫码关注我们
