设为首页
收藏本站
网站地图
|
English
|
公务邮箱
About the library
Background
History
Leadership
Organization
Readers' Guide
Opening Hours
Collections
Help Via Email
Publications
Electronic Information Resources
常用资源
电子图书
期刊论文
学位会议
外文资源
特色专题
内部出版物
Springer电子图书(151)
CNKI会议论文(5)
CNKI期刊论文0611(6)
万方学位论文(7)
万方学术会议(1)
CNKI学位论文(4912)
知网期刊论文(2629)
在“
SpringerLink电子期刊
”中,
命中:
2,146
条,耗时:小于0.01 秒
在所有数据库中总计命中:
7,711
条
1.
Detecting Deadlocks Involving Diverse Synchronization Mechanisms Using Extended
Petri
Nets
作者:
Yunkai Du
;
Naijie Gu
;
Huaxiong Cao
关键词:
Deadlock detection
;
Petri
nets
;
APNs
;
Diversity
;
Synchronization
刊名:Arabian Journal for Science and Engineering
出版年:2017
2.
Diagnosability analysis of patterns on bounded labeled prioritized
Petri
nets
作者:
Houssam-Eddine Gougam
;
Yannick Pencolé
;
Audine Subias
关键词:
Fault diagnosis
;
Diagnosability
;
Pattern
;
Petri
nets
刊名:Discrete Event Dynamic Systems
出版年:2017
3.
Simulation and validation of diagram ladder—
petri
nets
作者:
J. C. Quezada
;
J. Medina
;
E. Flores…
关键词:
Control algorithms
;
Discrete event systems
;
Ladder diagram
;
Petri
nets
;
Programmable logic controller
;
Simulation
;
Validation
刊名:The International Journal of Advanced Manufacturing Technology
出版年:2017
4.
Runtime Verification of Pacemaker Functionality Using Hierarchical Fuzzy Colored
Petri
-
nets
作者:
Negar Majma
;
Seyed Morteza Babamir
;
Amirhassan Monadjemi
关键词:
Pacemaker
;
Hierarchical fuzzy colored
Petri
;
net
;
Runtime verification
;
Petri
;
net
刊名:Journal of Medical Systems
出版年:2017
5.
Merging Relations: A Way to Compact
Petri
Nets
’ Behaviors Uniformly
关键词:
Petri
nets
;
Data structure compression
;
Event structures
刊名:Lecture Notes in Computer Science
出版年:2017
6.
Adaptive
Petri
net based on irregular cellular learning automata with an application to vertex coloring problem
作者:
S. Mehdi Vahidipour
;
Mohammad Reza Meybodi
;
Mehdi Esnaashari
关键词:
Adaptive
petri
net
;
Learning automata
;
Irregular cellular
petri
nets
;
Vertex
;
coloring problem
刊名:Applied Intelligence
出版年:2017
7.
A
Petri
net tool for software performance estimation based on upper throughput bounds
作者:
Ricardo J. Rodríguez
关键词:
Petri
net
;
UML
;
Software performance
;
Optimization
刊名:Automated Software Engineering
出版年:2017
8.
Colored
Petri
net model for significant reduction of invariants in flexible manufacturing systems
作者:
Shaukat Ali Shah
;
Erik L. J. Bohez…
关键词:
Colored
Petri
net
;
Flexible manufacturing systems
;
Integrated net analyzer
;
Tool group
刊名:The International Journal of Advanced Manufacturing Technology
出版年:2017
9.
A methodology for verifying SysML requirements using activity diagrams
作者:
Messaoud Rahim
;
Ahmed Hammad…
关键词:
SysML
;
Activity diagram
;
Requirement diagram
;
Requirements formalization
;
Verification
;
Model
;
checking
;
Hierarchical coloured
Petri
nets
刊名:Innovations in Systems and Software Engineering
出版年:2017
10.
What Makes
Petri
Nets
Harder to Verify: Stack or Data?
刊名:Lecture Notes in Computer Science
出版年:2017
1
2
3
4
5
6
7
8
9
按检索点细分(2146)
题名(812)
关键词(805)
文摘(1688)
NGLC 2004-2010.National Geological Library of China All Rights Reserved.
Add:29 Xueyuan Rd,Haidian District,Beijing,PRC. Mail Add: 8324 mailbox 100083
For exchange or info please contact us via
email
.