Petri-Nets and its applications = Lưới petri và áp dụng của nó /

Κώδικας QR

Petri-Nets and its applications = Lưới petri và áp dụng của nó /

Αποθηκεύτηκε σε:

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας:	Tran Tho Chau.
Μορφή:	Άρθρο
Γλώσσα:	Vietnamese
Θέματα:	Lưới petri Tin học Viễn thông
Ετικέτες:	Προσθήκη ετικέτας Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!

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

Παρόμοια τεκμήρια

Application and Theory of Petri Nets and Concurrency: 36th International Conference, PETRI NETS 2015, Brussels, Belgium, June 21-26, 2015, Proceedings
ανά: Devillers, R, κ.ά.
Έκδοση: (2015)

Mobile Applications Testing Based on Bigraphs and Dynamic Feature Petri Nets
ανά: Nguyen, Thanh Binh, κ.ά.
Έκδοση: (2023)

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

Sử dụng tính phân cấp để giảm độ phức tạp trong mô hình hóa hệ thống sử dụng mạng Petri màu
ανά: Nguyễn, Thanh Tuấn, κ.ά.
Έκδοση: (2021)

Formalization of Business Processes and Business Rules Model using Colored Petri Nets
ανά: Nguyen, Thanh Tuan, κ.ά.
Έκδοση: (2022)

Applications and Theory of Petri Nets
Έκδοση: (2020)

Applications and Theory of Petri Nets
ανά: Hee, Kees van, κ.ά.
Έκδοση: (2020)

Generalized nets /
ανά: Atanassov, Krassimir T.
Έκδοση: (1991)

Generalized nets /
ανά: Atanassov, Krassimir T.
Έκδοση: (1991)

Applications and Theory of Petri Nets 2005
Έκδοση: (2020)

Application and Theory of Petri Nets and Concurrency
ανά: Khomenko, Victor, κ.ά.
Έκδοση: (2020)

Application and Theory of Petri Nets and Concurrency
ανά: Aalst, Wil van der, κ.ά.
Έκδοση: (2020)

Biological Petri Nets
ανά: Wingender, Edgar
Έκδοση: (2013)

Coloured Petri Nets
Έκδοση: (2020)

Discrete, Continuous, and Hybrid Petri Nets
ανά: David, René, κ.ά.
Έκδοση: (2020)

Transactions on Petri Nets and Other Models of Concurrency II
Έκδοση: (2020)

Dynamic Analysis of Petri Net-Based Discrete Systems
ανά: Karatkevich, Andrei
Έκδοση: (2020)

Petri Nets and Other Models of Concurrency - ICATPN 2007
ανά: Kleijn, Jetty, κ.ά.
Έκδοση: (2020)

Transactions on Petri Nets and Other Models of Concurrency XII
Έκδοση: (2020)

Modelling and controlling automatic manufacturing system using Petri net
ανά: Phạm, Trường Tùng, κ.ά.
Έκδοση: (2024)

Sequence of control in S3PMR /
ανά: Shih, Yu-Ying.

Process Algebras for Petri Nets. 1st ed. 2017
ανά: Gorrieri, Roberto
Έκδοση: (2020)

MÔ HÌNH PETRI NET CÁC QUÁ TRÌNH SINH HÓA
ανά: Hồ, Khánh Lâm
Έκδοση: (2025)

Multiparty contracts : Agreeing and implementing interorganizational processes /

Towards a Model for Integrating Process Verification in Process-Driven Application Development
ανά: Nguyen, Thanh Tuan, κ.ά.
Έκδοση: (2025)

A necessary and sufficient condition for the liveness of normal nets /
ανά: Liu, GuanJun.

Implementation of learning path in process control model /
ανά: Luo, Junzhou.

First passage time computation in tagged GSPNs with queue places /

Automatique productique informatique industrielle
Έκδοση: (1994)

Fewer monitors and more efficient controllability for deadlock control in S3PGR2 (Systems of simple sequential processes with general resource requirements) /
ανά: Chao, Daniel Y.

Luật an toàn thông tin mạng
Έκδοση: (2016)

Luật an toàn thông tin mạng
Έκδοση: (2016)

Mastering Windows SharePoint Services 3.0
ανά: Callahan, C. A
Έκδοση: (2008)

Fiber to the home : The new empowerment
ανά: Green, Paul Eliot
Έκδοση: (2006)

Events, causality and symmetry /
ανά: Winskel, Glynn.

Smart Grid : Technology and applications
Έκδοση: (2012)

Petri net và ứng dụng trong mô hình hóa, phân tích các hệ thống sản xuất
ανά: Lâm, Hồ Khánh
Έκδοση: (2025)

Model interchange format specifications for experiments, output and results /
ανά: Smith, Connie U.

Mạng lưới điện : tính chế độ xác lập của các mạng và hệ thống điện phức tạp /
ανά: Nguyễn Văn Đạm TS.
Έκδοση: (2001)

Lưới điện và hệ thống điện.
ανά: Trần Bách.
Έκδοση: (2004)