首页> 外文OA文献 >A Systematic Approach to the Petri Net Based Specification of Concurrent Systems

【2h】

A Systematic Approach to the Petri Net Based Specification of Concurrent Systems

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

页面导航

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

著录项

作者
A. Mazzeo; N. Mazzocca; S. Russo; V. Vittorini;
展开▼
作者单位

展开▼
年度 2007
总页数
原文格式 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. A protocol modeling and verification approach based on a specification language and Petri nets [J] . Suzuki T., Shatz S.M. IEEE Transactions on Software Engineering . 1990,第5期

机译：基于规范语言和Petri网的协议建模与验证方法
3. From formal methods to implementation based on Petri Nets model of concurrent systems [J] . Jaroslaw WOJCIECHOWSKI Pomiary Automatyka Kontrola . 2007,第5期

机译：从形式化方法到基于并行系统Petri Nets模型的实现
4. A SYSTEMATIC AND FORMAL APPROACH TO THE SPECIFICATION OF FLEXIBLE MANUFACTURING SYSTEMS REUSING COLOURED PETRI NETS MODELS [C] . Leandro Dias da Silva, Angelo Perkusich IFAC Symposium on Information Control Problems in Manufacturing . 2005

机译：一种系统和正式的方法，可以重用彩色Petri网模型的柔性制造系统的规范
5. MODELING AND ANALYSIS OF CONCURRENT SYSTEMS USING CONTOUR/TRANSITION-NETS (PETRI NETS, SPECIFICATION, VERIFICATION) [D] . ROSE, MARSHALL TOUFIC. 1984

机译：使用轮廓/过渡网（PETRI网，规范，验证）对并发系统进行建模和分析
6. A PetriNet-Based Approach for Supporting Traceability in Cyber-Physical Manufacturing Systems [O] . Jiwei Huang, Yeping Zhu, Bo Cheng, 2016

机译：基于PetriNet的支持网络物理制造系统中可追溯性的方法
7. Dynamically evolving concurrent information systems specification and validation: a component-based Petri nets proposal [O] . Nasreddine Aoumeur, Gunter Saake 2003

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

A Systematic Approach to the Petri Net Based Specification of Concurrent Systems

著录项

引文网络

相似文献

相关主题

期刊订阅