A PETRI NET APPROACH FOR THE DESIGN OF DYNAMICALLY MODIFIABLE EMBEDDED SYSTEMS

机译：动态可修改嵌入式系统设计的Petri网方法

获取原文

获取原文并翻译 | 示例

页面导航

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

摘要

A Petri net based approach for modeling dynamically modifiable embedded realtime systems is presented. The presented work contributes to the extension of a Petri net based design methodology for distributed embedded systems towards the handling of dynamically modifiable systems. Extensions to the underlying high-level Petri net model are introduced that allow for dynamic modifications of a net at run time.

机译：提出了一种基于Petri网的动态可修改嵌入式实时系统建模方法。提出的工作有助于将基于Petri网的分布式嵌入式系统设计方法扩展到动态可修改系统的处理。引入了对基础高级Petri网络模型的扩展，该模型允许在运行时动态修改网络。

著录项

来源
《IFIP 150; IFIP 18th World Computer Congress TC10 Working Conference on Distributed and Parallel Embedded Systems(DIPES 2004); 20040822-27; Toulouse(FR)》|2004年|P.257-266|共10页
会议地点 Toulouse(FR)
作者
Carsten Rust; Franz Josef Rammig;
展开▼
作者单位

University of Paderborn, Germany;

展开▼
会议组织
原文格式 PDF
正文语种 eng
中图分类新技术的应用;
关键词

相似文献

外文文献
中文文献
专利

1. A MIXED LYAPUNOV-MAX-PLUS ALGEBRA APPROACH TO THE STABILITY PROBLEM FOR DISCRETE EVENT DYNAMICAL SYSTEMS MODELED WITH TIMED PETRI NETS [J] . ZVI RETCHKIMAN KONIGSBERG Neural, Parallel & Scientific Computations . 2011,第1a2期

机译：定时Petri网建模的离散事件动力系统稳定性问题的混合LYAPUNOV-MAX-PLUS代数方法
2. The stability problem for discrete event dynamical systems modeled with timed Petri nets using a Lyapunov-max-plus algebra approach [J] . M. Elia, J. Carmelo Interlando, R. Rosenbaum International mathematical forum . 2011,第9a12期

机译：使用Lyapunov-max-plus代数方法用时间Petri网建模的离散事件动力系统的稳定性问题
3. Observer design for Linear Hybrid Systems with unknown inputs and Petri-net discrete dynamics [J] . Nonlinear analysis. Hybrid systems: An International Multidisciplinary Journal . 2020,第期

机译：具有未知输入和Petri-Net离散动态的线性混合系统观测器设计
4. A PETRI NET APPROACH FOR THE DESIGN OF DYNAMICALLY MODIFIABLE EMBEDDED SYSTEMS [C] . Carsten Rust, Franz Josef Rammig, International Federation for Information Processing(IFIP), IFIP World Computer Congress TC10 Working Conference on Distributed and Parallel Embedded Systems . 2004

机译：一种用于动态可修改的嵌入式系统设计的Petri网方法
5. ANALYSIS OF DISTRIBUTED SYSTEM SOFTWARE DESIGN BASED ON STRUCTURED PETRI NET MODEL (PERFORMANCE, PETRI NET) [D] . CHOU, CHING-ROUNG 1986

机译：基于结构化PETRI NET模型（性能，PETRI NET）的分布式系统软件设计分析
6. Using Petri Net Tools to Study Properties and Dynamics of Biological Systems [O] . Mor Peleg, Daniel Rubin, Russ B. Altman 2005

机译：使用Petri网工具研究生物系统的特性和动力学
7. A Petri Net Approach for The Design of Dynamically Modifiable Embedded Systems [O] . Carsten Rust, Franz Josef Rammig -1

机译：一种用于动态可修改的嵌入式系统设计的Petri网方法

A PETRI NET APPROACH FOR THE DESIGN OF DYNAMICALLY MODIFIABLE EMBEDDED SYSTEMS

摘要

著录项

相似文献

相关主题

期刊订阅