International Conference on Application of Concurrency to System Design最新文献

筛选

英文中文

Synthesis of Net Systems with Inhibitor Arcs from Step Transition Systems 阶跃过渡体系中带抑制弧的网状体系的合成

International Conference on Application of Concurrency to System Design Pub Date : 2001-06-25 DOI: 10.1109/CSD.2001.981781

Marta Pietkiewicz-Koutny

{"title":"Synthesis of Net Systems with Inhibitor Arcs from Step Transition Systems","authors":"Marta Pietkiewicz-Koutny","doi":"10.1109/CSD.2001.981781","DOIUrl":"https://doi.org/10.1109/CSD.2001.981781","url":null,"abstract":"We here consider transition systems of Elementary Net Systems with Inhibitor Arcs. There are basically two different types of non-interleaving semantics of such Petri nets, the a-posteriori and a-priori semantics. The synthesis problem for Elementary Net Systems with Inhibitor Arcs executed under the a-priori semantics (ENI) was solved in Pietkiewicz-Koutny (1997). The aim of this paper is to completely characterise transition systems which can be generated by Elementary Net Systems with Inhibitor Arcs executed under the a-posteriori semantics (ENI/sub apost/). This is achieved by adapting the notion of a step transition system, i.e. one in which arcs are labelled by sets of events executed concurrently. In developing the model, we follow the standard approach in which the relationship between nets and their transition systems is established via the notion of a region. We define, and show consistency of, two behaviour preserving translations between nets and transition systems. We then compare transition systems which are generated by ENI/sub apost/ and ENI-systems (called respectively TSENI/sub apost/ and TSENI transition systems).","PeriodicalId":127278,"journal":{"name":"International Conference on Application of Concurrency to System Design","volume":"12 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2001-06-25","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123492236","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 1

Monitoring and fault-diagnosis with digital clocks 数字时钟监控和故障诊断

International Conference on Application of Concurrency to System Design Pub Date : 1900-01-01 DOI: 10.1109/ACSD.2006.10

K. Altisen, F. Cassez, S. Tripakis

引用次数: 10