首页> 外文OA文献 >Specification and Verification of Networks in a Petri Net based Language

【2h】

Specification and Verification of Networks in a Petri Net based Language

机译：Petri Net基于网络的规范和验证

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

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

著录项

作者
Morten Kyng;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. 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网的协议建模与验证方法
2. Formal Specification and Verification of Modular Security Policy Based on Colored Petri Nets [J] . Huang Hejiao, Kirchner Helene Dependable and Secure Computing, IEEE Transactions on . 2011,第6期

机译：基于有色Petri网的模块化安全策略的形式化规范与验证
3. Depth-first Search Approach for Language-based Opacity Verification Using Petri Nets [J] . I. Saadaoui, Z. Li, N. Wu, IFAC PapersOnLine . 2020,第4期

机译：使用Petri网的基于语言的不透明性验证的深度搜索方法
4. A method to verify the controllability of language specifications in Petri nets based on basis marking analysis [C] . Ziyue Ma, Zhiwu Li, Alessandro Giua IEEE Conference on Decision and Control . 2015

机译：基于基础标记分析的Petri网语言规范可控性验证方法
5. MODELING AND ANALYSIS OF CONCURRENT SYSTEMS USING CONTOUR/TRANSITION-NETS (PETRI NETS, SPECIFICATION, VERIFICATION) [D] . ROSE, MARSHALL TOUFIC. 1984

机译：使用轮廓/过渡网（PETRI网，规范，验证）对并发系统进行建模和分析
6. Petri Net and Probabilistic Model Checking Based Approach for the Modelling, Simulation and Verification of Internet Worm Propagation [O] . Misbah Razzaq, Jamil Ahmad 2010

机译：基于Petri网和概率模型检查的Internet蠕虫传播建模，仿真与验证方法。
7. Petri Net Based Specification and Verification of Globally-Asynchronous-Locally-Synchronous System [O] . Moutinho, Filipe, Gomes, Luís, Barbosa, Paulo, 2011

机译：基于Petri网的全局异步本地同步系统的规范与验证。

Specification and Verification of Networks in a Petri Net based Language

著录项

引文网络

相似文献

相关主题

期刊订阅