Rezultaty - "Petri nets"

1

Generalized nets /

Generalized nets /

od Atanassov, Krassimir T.
Wydane 1991

Hasła przedmiotowe: “...Petri nets....”

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

2

Generalized nets /

Generalized nets /

od Atanassov, Krassimir T.
Wydane 1991

Hasła przedmiotowe: “...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 /

od Shih, Yu-Ying.

Hasła przedmiotowe: “...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

od Devillers, R, Valmari, Antti
Wydane 2015

Hasła przedmiotowe: “...Petri nets...”

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

Dokumenty pełnotekstowe

5

Multiparty contracts : Agreeing and implementing interorganizational processes /

Multiparty contracts : Agreeing and implementing interorganizational processes /

Hasła przedmiotowe: “...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 /

Hasła przedmiotowe: “...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) /

od Chao, Daniel Y.

Hasła przedmiotowe: “...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

Wydane 1994

Hasła przedmiotowe: “...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 /

od Winskel, Glynn.

Hasła przedmiotowe: “...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 /

od Smith, Connie U.

Hasła przedmiotowe: “...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 /

od Liu, GuanJun.

Hasła przedmiotowe: “...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 /

od Luo, Junzhou.

Hasła przedmiotowe: “...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 /

Hasła przedmiotowe: “...Petri-net...”

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