首页> 外文OA文献 >A Memory Module Specification using Composable High-level Petri Nets

【2h】

A Memory Module Specification using Composable High-level Petri Nets

机译：使用可组合高级Petri网的存储模块规范

页面导航

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

著录项

作者
Eike Best;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Synchronous and Asynchronous Communications in Composable Parameterized High-Level Petri Nets [J] . Raymond Devillers, Hanna Klaudel Fundamenta Informaticae . 2005,第3期

机译：可组合参数化高级Petri网中的同步和异步通信
2. Monitoring of flexible production systems using high-level Petri net specifications [J] . Klaus Feldmann, Armando Walter Colombo Control Engineering Practice . 1999,第12期

机译：使用高级Petri网规范监控柔性生产系统
3. PROTEAN: a high-level Petri net tool for the specification and verification of communication protocols [J] . Billington J., Wheeler G.R. IEEE Transactions on Software Engineering . 1988,第3期

机译：PROTEAN：高级Petri网工具，用于规范和验证通信协议
4. A semantics of Security Protocol Language (SPL) using a class of composable high-level Petri nets [C] . Bouroulet, R., Klaudel, . 2004

机译：使用一类可组合的高级Petri网的安全协议语言（SPL）的语义
5. Protocol modeling, analysis and design using fuzzy-timing high-level Petri nets. [D] . Xiong, Chaoyue. 2005

机译：使用模糊定时高级Petri网进行协议建模，分析和设计。
6. Quasi-Steady-State Analysis based on Structural Modules and Timed Petri Net Predict System’s Dynamics: The Life Cycle of the Insulin Receptor [O] . Jennifer Scheidel, Klaus Lindauer, Jörg Ackermann, 2015

机译：基于结构模块和定时Petri网预测系统动力学的准稳态分析：胰岛素受体的生命周期
7. High-level Petri nets control modules for service-oriented devices: a case study [O] . João Marco de Melo Pereira Mendes, Paulo Leitão, Armando Walter Colombo, 2008

机译：面向服务设备的高级Petri网控制模块：案例研究
8. Military Specification, Modules, Standard Electronic Memory Array, 128K DynamicRandom Access Module, Key Code JEJ [R] . 1991

机译：军用规格，模块，标准电子存储器阵列，128K DynamicRandom访问模块，密钥代码JEJ

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号