Synthesis of ENI-systems using minimal regions

机译：使用最小区域合成ENI系统

获取原文

获取原文并翻译 | 示例

页面导航

摘要
著录项
相似文献
相关主题

摘要

We consider the synthesis problem for Elementary net Systems with inhibitor Arcs (ENI-systems) executed according to the a-priori semantics.the relationship betwene nets and transition systems geenrated by them (TSENI) is established via the notionof a region.The geenral synthesis problem for ENI-systems was solved in [20],and here we show how to optimise this solution using only minimal regions and selected inhibitor arcs.We also compare the proposed mehtod of eliminating inhibitor arcs in ENI-systems with tha tintroduced in [8] and show that they have similar effect.

机译：我们考虑了根据先验语义执行的带有抑制弧的基本网络系统（ENI-systems）的综合问题。通过区域的概念建立了网络与过渡网络（TSENI）之间的关系。在[20]中解决了ENI系统的问题，在这里我们展示了如何仅使用最小的区域和选定的抑制弧来优化该解决方案。我们还比较了在ENI系统中消除抑制弧的建议方法与在[8]中引入的方法]并显示它们具有相似的效果。

著录项

来源
《Concurrency theory》|1998年|p.565-580|共16页
会议地点 Nice(FR);Nice(FR)
作者
Marta Pietkiewicz-Koutny;
展开▼
作者单位

展开▼
会议组织
原文格式 PDF
正文语种 eng
中图分类自动化技术、计算机技术;
关键词
Petri nets; concurrency; transition systems; regions; synthesis of nets.;

机译：培养皿;并发过渡系统；地区；网的合成。;

相似文献

外文文献
中文文献
专利

1. Control Synthesis Based On Theory of Regions with Minimal Reachability Graph Knowledge [J] . S. Rezig, Z. Achour, N. Rezg IFAC PapersOnLine . 2016,第12期

机译：基于最小可达图知识的区域理论的控制综合
2. Control Synthesis Based On Theory of Regions with Minimal Reachability Graph Knowledge [J] . S. Rezig, Z. Achour, N. Rezg IFAC PapersOnLine . 2016,第12期

机译：基于最小可达图知识的区域理论的控制综合
3. The halfspace theorem for minimal hypersurfaces in regions bounded by minimal cones [J] . Cavalcante Marcos Petrucio, Costa-Filho Wagner Oliveira Bulletin of the London Mathematical Society . 2019,第Pta4期

机译：最小锥体界限的区域中最小过度迹面的半空间定理
4. Synthesis of ENI-systems using minimal regions [C] . Marta Pietkiewicz-Koutny International conference on concurrency theory . 1998

机译：利用最小地区的eni-Systems合成
5. Optimal control theory applied to 5MW wind turbine model for region 3 control using minimal sensors. [D] . Aramanekoppa, Sharath S. 2012

机译：最优控制理论应用于5MW风力发电机模型，用于使用最小传感器进行区域3控制。
6. Use of the Minimally Invasive Reduction Instrumentation System for Facilitating Alignment and Reduction When Performing Minimally Invasive Plate Osteosynthesis in Three Dogs [O] . Sarah Townsend, Daniel D. Lewis 2018

机译：在三只狗进行微创钢板固定的过程中微创复位器械系统可用于对准和复位
7. Synthesis of ENI-systems Using Minimal Regions [O] . Marta Pietkiewicz-koutny 1998

机译：利用最小区域合成ENI系统

Synthesis of ENI-systems using minimal regions

摘要

著录项

相似文献

相关主题

期刊订阅