V. Valero Ruiz, D. de Frutos Escrig, F. Cuartero Gomez
{"title":"Simulation of timed Petri nets by ordinary Petri nets and applications to decidability of the timed reachability problem and other related problems","authors":"V. Valero Ruiz, D. de Frutos Escrig, F. Cuartero Gomez","doi":"10.1109/PNPM.1991.238772","DOIUrl":null,"url":null,"abstract":"The authors consider timed Petri nets, for which a timed step semantics generalizing the ordinary step semantics is presented. A codification of these, with regard to such semantics, by ordinary Petri nets is presented. This codification is presented in a gradual way, beginning with that corresponding to a more restricted and thus simpler step semantics. This semantics does not allow the overlapped firing of several instances of each transition. The authors consider a step semantics which allows such overlapped executions. In restricted cases the construction is based on an automaton which controls the system evolution. The construction for the most general semantics is rather more complicated, that is why it is presented gradually. They consider three versions of it.<<ETX>>","PeriodicalId":137470,"journal":{"name":"Proceedings of the Fourth International Workshop on Petri Nets and Performance Models PNPM91","volume":null,"pages":null},"PeriodicalIF":0.0000,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"14","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Proceedings of the Fourth International Workshop on Petri Nets and Performance Models PNPM91","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/PNPM.1991.238772","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 14
Abstract
The authors consider timed Petri nets, for which a timed step semantics generalizing the ordinary step semantics is presented. A codification of these, with regard to such semantics, by ordinary Petri nets is presented. This codification is presented in a gradual way, beginning with that corresponding to a more restricted and thus simpler step semantics. This semantics does not allow the overlapped firing of several instances of each transition. The authors consider a step semantics which allows such overlapped executions. In restricted cases the construction is based on an automaton which controls the system evolution. The construction for the most general semantics is rather more complicated, that is why it is presented gradually. They consider three versions of it.<>
京公网安备 11010802042870号
京ICP备2023020795号-1
分享
求助内容：
应助结果提醒方式：
扫码关注我们
