检索结果 - "Petri nets"

1

Generalized nets /

Generalized nets /

由 Atanassov, Krassimir T.
出版 1991

主题: “...Petri nets....”

Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt

2

Generalized nets /

Generalized nets /

由 Atanassov, Krassimir T.
出版 1991

主题: “...Petri nets....”

Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt

3

Sequence of control in S3PMR /

Sequence of control in S3PMR /

由 Shih, Yu-Ying.

主题: “...Petri nets...”

Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt

4

Application and Theory of Petri Nets and Concurrency:
36th International Conference, PETRI NETS 2015, Brussels, Belgium, June 21-26, 2015, Proceedings

Application and Theory of Petri Nets and Concurrency: 36th International Conference, PETRI NETS 2015, Brussels, Belgium, June 21-26, 2015, Proceedings

由 Devillers, R, Valmari, Antti
出版 2015

主题: “...Petri nets...”

Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt

获取全文

5

Multiparty contracts : Agreeing and implementing interorganizational processes /

Multiparty contracts : Agreeing and implementing interorganizational processes /

主题: “...Petri nets...”

Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt

6

First passage time computation in tagged GSPNs with queue places /

First passage time computation in tagged GSPNs with queue places /

主题: “...Petri nets...”

Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt

7

Fewer monitors and more efficient controllability for deadlock control in S3PGR2 (Systems of simple sequential processes with general resource requirements) /

Fewer monitors and more efficient controllability for deadlock control in S3PGR2 (Systems of simple sequential processes with general resource requirements) /

由 Chao, Daniel Y.

主题: “...Petri nets...”

Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt

8

Automatique productique informatique industrielle

Automatique productique informatique industrielle

出版 1994

主题: “...Continuous petri nets...”

Thư viện lưu trữ: Thư viện Trường CĐ Kỹ Thuật Cao Thắng

9

Events, causality and symmetry /

Events, causality and symmetry /

由 Winskel, Glynn.

主题: “...Petri nets...”

Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt

10

Model interchange format specifications for experiments, output and results /

Model interchange format specifications for experiments, output and results /

由 Smith, Connie U.

主题: “...Petri nets...”

Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt

11

A necessary and sufficient condition for the liveness of normal nets /

A necessary and sufficient condition for the liveness of normal nets /

由 Liu, GuanJun.

主题: “...Petri nets...”

Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt

12

Implementation of learning path in process control model /

Implementation of learning path in process control model /

由 Luo, Junzhou.

主题: “...Fuzzy Petri net...”

Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt

13

Semantic analysis of field sports video using a petri-net of audio-visual concepts /

Semantic analysis of field sports video using a petri-net of audio-visual concepts /

主题: “...Petri-net...”

Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt