搜索页_+Unbounded+nets

读者指南

远程访问

科技查新

公务邮箱

NSTL服务站

外文资源

内部出版物

SpringerLink电子期刊(45)

ProQuest学位论文(1)

Elsevier电子期刊(17)

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

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

1. 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

2. Decidable Classes of Unbounded Petri Nets with Time and Urgency

刊名：Lecture Notes in Computer Science

出版年：2016

3. Performance Analysis of Distributed Stream Processing Applications Through Colored Petri Nets

关键词：Stream processing ; Performance analysis ; Data stream model ; Colored Petri Nets

刊名：Lecture Notes in Computer Science

出版年：2016

4. Macro liveness graph and liveness of ω-independent unbounded nets

作者： ShouGuang Wang ; MengDi Gan ; MengChu Zhou

关键词：discrete event system (DES) ; Petri nets ; complex systems ; liveness ; property analysis ; Petri/li> ; /li> ; 032201

刊名：SCIENCE CHINA Information Sciences

出版年：2015

5. Diagnosability of Petri nets with observation graphs

作者： D. Lefebvre ; E. Leclercq

刊名：Discrete Event Dynamic Systems

出版年：2016

6. Unbounded-Thread Program Verification using Thread-State Equations

刊名：Lecture Notes in Computer Science

出版年：2016

7. Decidability of $$k$$ -Soundness for Workflow Nets with an Unbounded Resource

作者：Vladimir A. Bashkin (17)
Irina A. Lomazova (18)

关键词：Petri nets ; Workflow ; Soundness ; Modeling ; Verification

刊名：Lecture Notes in Computer Science

出版年：2014

8. On the efficient modeling of unbounded resource by one-counter circuits

作者： V. A. Bashkin

关键词：one ; counter nets ; VASS ; Petri nets ; reachability ; circuit ; normal form

刊名：Automatic Control and Computer Sciences

出版年：2014

9. Model for Performance Analysis of Distributed Stream Processing Applications

关键词：Stream processing ; Performance analysis ; Data stream model

刊名：Lecture Notes in Computer Science

出版年：2015

10. State space axioms for T-systems

作者：Eike Best (1)
Raymond Devillers (2)

1. Department of Computing Science ; Carl von Ossietzky Universit盲t Oldenburg ; 26111 ; Oldenburg ; Germany
2. D茅partement d鈥橧nformatique ; Universit茅 Libre de Bruxelles ; Boulevard du Triomphe C.P. 212 ; 1050 ; Brussels ; Belgium

刊名：Acta Informatica

出版年：2015

1

2

3

4

5

按检索点细分(45)

题名(5)

关键词(1)

文摘(40)

按出版年细分(45)

2016年(5)

2015年(3)

2014年(8)

2013年(8)

2012年(3)

2009年(1)

2008年(2)

2007年(2)

2006年(4)

2005年(6)

2004年(1)

2001年(1)

2000年及以前(1)

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

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

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

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