Design and Implementation of a Reduction Tool for PrT-Nets

机译：prT-Nets减速工具的设计与实现

获取原文

页面导航

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

摘要

To support the reachability analysis of predicate/transition nets (PrT-nets), a net reducing tool is presented. It has been implemented in the PrT-net analyzer PRENA which already contains tools for the reachability graph generation and interpretation. Six reduction rules are introduced along with an example of using the net reducer.

著录项

作者
Rauhamaa, M.;
展开▼
作者单位

展开▼
年度 1988
页码 p.1-18
总页数 18
原文格式 PDF
正文语种 eng
中图分类工业技术;
关键词
Reduction ; Optimization ; Computer programs;

机译：减少;优化;计算机程序;

相似文献

外文文献
中文文献
专利

1. The Use of Implementation Science Tools to Design, Implement, and Monitor a Community-Based mHealth Intervention for Child Health in the Amazon [J] . Christopher Westgard, W. Oscar Fleming Frontiers in Public Health . 2020,第a期

机译：使用实施科学工具设计，实施和监控基于社区的MHealth在亚马逊中的儿童健康干预
2. The Use of Implementation Science Tools to Design, Implement, and Monitor a Community-Based mHealth Intervention for Child Health in the Amazon [J] . Westgard Christopher, Fleming W. Oscar Frontiers in Public Health . 2020,第2期

机译：使用实施科学工具设计，实施，实施和监控基于社区的MHEALTH在亚马逊中的儿童健康干预
3. Affordances of agricultural systems analysis tools: A review and framework to enhance tool design and implementation [J] . Ditzler Lenora, Klerkx Laurens, Chan-Dentoni Jacqueline, Agricultural Systems . 2018,第期

机译：农业系统分析工具的可供选择：提高工具设计和实施的审查和框架
4. The Design and Implementation of Reusable Data Reduction Tool in Cloud Computing Platform [C] . LIU Dan, DONG Wei, TAN Yi-you International Conference on MEMS, NANO and Smart Systems . 2012

机译：云计算平台中可重用数据减少工具的设计与实现
5. Multi-Criteria Decision Support Tool (MCDS) to Resolve Alternate Supplier Implementation Delays for Engineering Cost Reduction Programs [D] . ?Haygood, Cristi Alyse 2021

机译：多标准决策支持工具（MCD），以解决工程成本减少计划的备用供应商实施延迟
6. The Use of Implementation Science Tools to Design Implement and Monitor a Community-Based mHealth Intervention for Child Health in the Amazon [O] . Christopher Westgard, W. Oscar Fleming 2020

机译：使用实施科学工具设计实施实施和监控基于社区的MHEALTH在亚马逊中的儿童健康干预
7. CMOS design enhancement techniques for RF receivers. Analysis, design and implementation of RF receivers with component enhancement and component reduction for improved sensitivity and reduced cost, using CMOS technology. [O] . Logan Nandi 2010

机译：用于RF接收器的CMOS设计增强技术。使用CMOS技术对具有成分增强和成分减少功能的RF接收器进行分析，设计和实现，以提高灵敏度并降低成本。
8. Reduction Transformations of PrT-Nets [R] . Krohn, P., Rauhamaa, M. 1988

机译：prT-Nets的简化转换

Design and Implementation of a Reduction Tool for PrT-Nets

摘要

著录项

相似文献

相关主题

期刊订阅