Sequence of control in S3PMR /

Κώδικας QR

Sequence of control in S3PMR /

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

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας:	Shih, Yu-Ying.
Άλλοι συγγραφείς:	Chao, Daniel.
Μορφή:	Άρθρο
Γλώσσα:	English
Θέματα:	Deadlock prevention Petri nets Siphons
Ετικέτες:	Προσθήκη ετικέτας Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!

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

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

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

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

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

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

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

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

Multiparty contracts : Agreeing and implementing interorganizational processes /

First passage time computation in tagged GSPNs with queue places /

Verification of hazard, race and deadlock in GALS-circuit /
ανά: Nguyen Quy Thuong.

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

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

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

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

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

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

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)

Petri-Nets and its applications = Lưới petri và áp dụng của nó /
ανά: Tran Tho Chau.

External Parasites of Small Ruminants A Practical Guide to their Prevention and Control
ανά: Bates, Peter
Έκδοση: (2014)

Prevention of marine biofouling using a conductive paint electrode /

Prevention effectiveness
ανά: Haddix, Anne C.
Έκδοση: (2003)

ASP.NET AJAX Programmer's Reference: with ASP.NET 2.0 or ASP.NET 3.5 /
ανά: Khosravi Shahram
Έκδοση: (2007)

Situational prison control :
ανά: Wortley, Richard K.
Έκδοση: (2002)

FAO training series N.3
ανά: FAO
Έκδοση: (1980)

Communicable disease epidemiology and control :
ανά: Webber, Roger
Έκδοση: (2005)

Rose's strategy of preventive medicine
ανά: Rose, Geoffrey
Έκδοση: (2008)

Injury control :
Έκδοση: (2001)

Disease control priorities in developing countries
Έκδοση: (2006)

Professional ASP.NET 1.1 /
ανά: Sussman Dave
Έκδοση: (2004)

The
ανά: Miller, Lisa L.
Έκδοση: (2008)

Lập trình Microsoft . NET framework kỹ thuật và ứng dụng :
ανά: Richter, Jeffrey
Έκδοση: (2002)

Lutte contre les vecteurs du paludisme et autres maladies transmises des moustiques: Rapport d'un groupe d'étude de l'OMS
ανά: OMS
Έκδοση: (1995)

Fire prevention
ανά: Diamantes, David
Έκδοση: (2007)

Fire prevention
ανά: David Diamantes
Έκδοση: (2007)

Correlation Between Human Factors and the Prevention of Disasters
ανά: Barry, David L, κ.ά.
Έκδοση: (2014)

Risk Assessment as a Basis for the Forecast and Prevention of Catastrophies
ανά: Apostol, Ion, κ.ά.
Έκδοση: (2013)

Optimisation of Disaster Forecasting and Prevention Measures in the Context of Human and Social Dynamics
ανά: Apostol, Ion, κ.ά.
Έκδοση: (2013)

How to make and set nets or the technology of netting
ανά: John Garner
Έκδοση: (1962)

Netting materials for fishing gear
ανά: Gerhard Klust
Έκδοση: (1982)

How to make and set nets or the technology of netting
ανά: John Garner
Έκδοση: (1962)