搜索页_+Coverability+graph

读者指南

远程访问

科技查新

学术客户端

公务邮箱

NSTL服务站

外文资源

内部出版物

Springer电子图书(1)

SpringerLink电子期刊(22)

Elsevier电子期刊(11)

在“SpringerLink电子期刊”中，命中：22条，耗时：小于0.01 秒

在所有数据库中总计命中：34条

1. Diagnosability of Petri nets with observation graphs

作者： D. Lefebvre ; E. Leclercq

刊名：Discrete Event Dynamic Systems

出版年：2016

2. Synchronizing sequences on a class of unbounded systems using synchronized Petri nets

作者： Marco Pocci ; Isabel Demongodin ; Norbert Giambiasi…

关键词：Synchronized Petri nets ; Unbounded nets ; Coverability graph ; Synchronizing sequences ; Testing theory

刊名：Discrete Event Dynamic Systems

出版年：2016

3. Uncover: Using Coverability Analysis for Verifying Graph Transformation Systems

刊名：Lecture Notes in Computer Science

出版年：2015

4. TAGER: Transition-Labeled Graph Edit Distance Similarity Measure on Process Models

作者：Zixuan Wang (23)
Lijie Wen (23)
Jianmin Wang (23)
Shuhao Wang (23)

关键词：Business Process Model ; Transition ; labeled Graph ; Edit Distance ; Behavioral Similarity

刊名：Lecture Notes in Computer Science

出版年：2014

5. Constructing Minimal Coverability Sets

作者：Artturi Piipponen ; Antti Valmari

关键词：coverability set ; Tarjan’s algorithm ; antichain data structure

刊名：Lecture Notes in Computer Science

出版年：2013

6. Small Vertex Cover makes Petri Net Coverability and Boundedness Easier

作者：M. Praveen (1)

关键词：Petri nets ; Vertex cover ; Parameterized complexity ; ParaPspace

刊名：Algorithmica

出版年：2013

7. Well-Structured Graph Transformation Systems with Negative Application Conditions

作者：Barbara K?nig (1) barbara_koenig@uni-due.de
Jan Stückrath (1) jan.stueckrath@uni-due.de

刊名：Lecture Notes in Computer Science

出版年：2012

8. Well-Structured Graph Transformation Systems with Negative Application Conditions

作者：Barbara K?nig (20)
Jan Stückrath (20)

刊名：Lecture Notes in Computer Science

出版年：2012

9. Verification of Directed Acyclic Ad Hoc Networks

作者：Parosh Aziz Abdulla (18)
Mohamed Faouzi Atig (18)
Othmane Rezine (18)

刊名：Lecture Notes in Computer Science

出版年：2013

10.Applying Step Coverability Trees to Communicating Component-Based Systems

作者：Jetty Kleijn ; Maciej Koutny

关键词：Petri nets ; step semantics ; step coverability tree ; boundedness ; decidability ; maximal concurrency ; marked graphs ; components ; localities

刊名：Lecture Notes in Computer Science

出版年：2010

1

2

3

按检索点细分(22)

题名(2)

关键词(2)

文摘(20)

按出版年细分(22)

2016年(2)

2015年(1)

2014年(1)

2013年(3)

2012年(2)

2011年(1)

2010年(3)

2007年(6)

2004年(2)

2000年及以前(1)

网站地图　|　常见问题　|　交通位置　|　联系我们　|　OA远程办公　|　English

© 2004-2018 中国地质图书馆版权所有京ICP备05064691号京公网安备11010802017129号

地址：北京市海淀区学院路29号邮编：100083

电话：办公室：(+86 10)66554848；文献借阅、咨询服务、科技查新：66554700