Modelling Opacity Using Petri Nets

机译：使用Petri网建模不透明度

代理获取

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

页面导航

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

著录项

作者
Bryans Jeremy W.; Koutny Maciej; Ryan Peter Y.A.;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Current-state opacity modelling and verification in partially observed Petri nets [J] . Saadaoui Ikram, Li Zhiwu, Wu Naiqi Automatica . 2020,第1期

机译：电流状态不透明度建模和验证在部分观察到Petri网
2. Depth-first Search Approach for Language-based Opacity Verification Using Petri Nets [J] . I. Saadaoui, Z. Li, N. Wu, IFAC PapersOnLine . 2020,第4期

机译：使用Petri网的基于语言的不透明性验证的深度搜索方法
3. Verification of Infinite-step Opacity Using Labeled Petri Nets [J] . Hao Lan, Yin Tong, Carla Seatzu IFAC PapersOnLine . 2020,第2期

机译：使用标记的Petri网验证无限阶段不透明度
4. MODELLING DYNAMIC OPACITY USING PETRI NETS WITH SILENT ACTIONS [C] . Jeremy W. Bryans, Maciej Koutny, Peter Y.A. Ryan, IFIP TC1 WG1.7 Workshop on Formal Aspects in Security and Trust;World Computer Congress . 2005

机译：使用秘密行动使用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. Modeling the Metabolism of Arabidopsis thaliana: Application of Network Decomposition and Network Reduction in the Context of Petri Nets [O] . Ina Koch, Joachim Nöthen, Enrico Schleiff 2017

机译：模拟拟南芥的代谢：网络分解和网络还原在Petri网中的应用
7. Modelling opacity using Petri nets [O] . Jeremy W. Bryans, Maciej Koutny, Peter Y. A. Ryan 2004

机译：使用Petri网建模不透明度
8. Modelling Opacity using Petri Nets [R] . Bryans, J., Koutny, M., Ryan, P. Y. A. 2004

机译：使用petri网建模不透明度

Modelling Opacity Using Petri Nets

著录项

引文网络

相似文献

相关主题

期刊订阅