首页> 外文OA文献 >Modelling and Analysis of Distributed Program Execution in BETA Using Coloured Petri Nets

【2h】

Modelling and Analysis of Distributed Program Execution in BETA Using Coloured Petri Nets

机译：基于彩色Petri网的BETA中分布式程序执行的建模与分析

页面导航

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

著录项

作者
Jens Bamp; Kjeld Høyer; Jens Baek J��rgensen; Kjeld H��yer Mortensen;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Colouring: execution, debug and analysis of QVT-relations transformations through coloured Petri nets [J] . Esther Guerra, Juan de Lara Software and systems modeling . 2014,第4期

机译：颜色：通过有色Petri网执行，调试和分析QVT关系转换
2. COLOURED PETRI NET-BASED MODELING FOR DISTRIBUTED RELATIONAL DATABASE QUERIES [J] . Pe-Te Chen, Yu-Tsai Chen, Chen-Chau Yang Journal of the Chinese Institute of Engineers. Series A . 2006,第6期

机译：基于彩色Petri网的分布式关系数据库查询建模
3. Analysis and Verification of Message Sequence Charts of Distributed Systems with the Help of Coloured Petri Nets [J] . S. A. Chernenok, V. A. Nepomniaschy Automatic Control and Computer Sciences . 2015,第7期

机译：借助彩色Petri网对分布式系统消息序列图进行分析和验证
4. Modelling and analysis of the monotonic read consistent distributed system using coloured Petri net [C] . Ahmad Taghinezhad, Saeid Pashazadeh Conference on Information and Knowledge Technology . 2016

机译：有色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. Spatial quorum sensing modelling using coloured hybrid Petri nets and simulative model checking [O] . David Gilbert, Monika Heiner, Leila Ghanbar, 2019

机译：使用彩色混合Petri网和模拟模型检查的空间群体感应建模
7. Modelling of secondary cooling system with a distributed architecture, using Coloured Petri nets [O] . Carlos Alberto Rojas Gallardo, Ruth Edmy Cano Buitrón, José Isidro García Melo 2019

机译：分布式架构的二次冷却系统建模，使用彩色培养网
8. Modelling Ambient Systems with Coloured Petri Nets. [R] . Konios, A., Pietkiewicz-Koutny, M. 2013

机译：用有色petri网建模环境系统。

Modelling and Analysis of Distributed Program Execution in BETA Using Coloured Petri Nets

著录项

引文网络

相似文献

相关主题

期刊订阅