首页> 外文OA文献 >Dynamically evolving concurrent information systems specification and validation: a component-based Petri nets proposal

【2h】

Dynamically evolving concurrent information systems specification and validation: a component-based Petri nets proposal

机译：动态发展的并发信息系统规范和验证：基于组件的Petri网建议

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Nasreddine Aoumeur; Gunter Saake;
展开▼
作者单位

展开▼
年度 2003
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Dynamically evolving concurrent information systems specification and validation: a component-based Petri nets proposal [J] . Nasreddine Aoumeur, Gunter Saake Data & Knowledge Engineering . 2004,第2期

机译：动态发展的并发信息系统规范和验证：基于组件的Petri网建议
2. Colored Petri Nets: A Graphical Language for Formal Modeling and Validation of Concurrent Systems [J] . Jensen Kurt, Kristensen Lars M. Communications of the ACM . 2015,第6期

机译：有色Petri网：用于并行系统形式化建模和验证的图形语言
3. Coloured Petri Nets and CPN Tools for modelling and validation of concurrent systems [J] . Kurt Jensen, Lars Michael Kristensen, Lisa Wells International Journal on Software Tools for Technology Transfer . 2007,第3a4期

机译：彩色Petri网和CPN工具，用于并发系统的建模和验证
4. Specifying and validating train control systems using an appropriate component-based petri nets model [C] . Nasreddine Aoumeur, Gunter Saake IFAC Conference on Control Systems Design (CSD2000) Bratislava, Slovak Republic, 18 - 20 June 2000 . 2000

机译：使用适当的基于组件的Petri网模型指定和验证列车控制系统
5. MODELING AND ANALYSIS OF CONCURRENT SYSTEMS USING CONTOUR/TRANSITION-NETS (PETRI NETS, SPECIFICATION, VERIFICATION) [D] . ROSE, MARSHALL TOUFIC. 1984

机译：使用轮廓/过渡网（PETRI网，规范，验证）对并发系统进行建模和分析
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 Systematic Approach to the Petri Net Based Specification of Concurrent Systems [O] . A. Mazzeo, N. Mazzocca, S. Russo, 2007

机译：基于Petri网的并发系统规范的系统方法

Dynamically evolving concurrent information systems specification and validation: a component-based Petri nets proposal

著录项

引文网络

相似文献

相关主题

期刊订阅