Generalized nets /

Codice QR

Generalized nets /

Hiển thị phiên bản (1) khác

Salvato in:

Dettagli Bibliografici
Autore principale:	Atanassov, Krassimir T.
Natura:	Sách giấy
Pubblicazione:	Singapore ; River Edge : World Scientific, c1991.
Soggetti:	Computer programming. Petri nets.
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne! !

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

Documenti analoghi

Generalized nets /
di: Atanassov, Krassimir T.
Pubblicazione: (1991)

Application and Theory of Petri Nets and Concurrency: 36th International Conference, PETRI NETS 2015, Brussels, Belgium, June 21-26, 2015, Proceedings
di: Devillers, R, et al.
Pubblicazione: (2015)

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

Sequence of control in S3PMR /
di: Shih, Yu-Ying.

Implementation of learning path in process control model /
di: Luo, Junzhou.

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

Mobile Applications Testing Based on Bigraphs and Dynamic Feature Petri Nets
di: Nguyen, Thanh Binh, et al.
Pubblicazione: (2023)

Multiparty contracts : Agreeing and implementing interorganizational processes /

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

First passage time computation in tagged GSPNs with queue places /

Automatique productique informatique industrielle
Pubblicazione: (1994)

Events, causality and symmetry /
di: Winskel, Glynn.

Formalization of Business Processes and Business Rules Model using Colored Petri Nets
di: Nguyen, Thanh Tuan, et al.
Pubblicazione: (2022)

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

Towards a Model for Integrating Process Verification in Process-Driven Application Development
di: Nguyen, Thanh Tuan, et al.
Pubblicazione: (2025)

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

Hit the ground running with visual C++.NET
di: Neiman, Amiram
Pubblicazione: (2006)

Hit the ground running with visual C++.NET
di: Neiman, Amiram
Pubblicazione: (2006)

Programming in Visual Basic.NET : Visual Basic.NET 2003 update edition
di: Bradley, Julia Case.
Pubblicazione: (2006)

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
di: Nguyễn, Thanh Tuấn, et al.
Pubblicazione: (2021)

Essential Angular for ASP.NET Core MVC
di: Freeman, Adam
Pubblicazione: (2020)

Microsoft .Net and J2EE Interoperability toolkit
di: Guest, Simon
Pubblicazione: (2004)

Microsoft .Net and J2EE Interoperability toolkit
di: Guest, Simon
Pubblicazione: (2004)

Các bài tập lập trình VB. Net
Pubblicazione: (2005)

Lập trình Windows với C#.Net :
di: Phương Lan
Pubblicazione: (2006)

Programming in C#.Net
di: Bradley, Julia Case
Pubblicazione: (2004)

Visual C++ .NET

Kỹ thuật lập trình ứng dụng C#.Net :
di: Phương Lan
Pubblicazione: (2005)

Kỹ thuật lập trình ứng dụng C#.Net :
di: Phương Lan
Pubblicazione: (2002)

Advanced .NET programming and security in .NET.
Pubblicazione: (2000)

Advanced .NET programming and security in .NET.
Pubblicazione: (2000)

Các bài tập lập trình cơ sở dữ liệu với Visual Basic .NET
di: Nguyễn, Văn Hoài
Pubblicazione: (2005)

Advanced Programming with Microsoft Visual Basic.NET
di: Spear, Bob
Pubblicazione: (2004)

Giáo trình lập trình .Net
di: Nguyễn, Hữu Hòa
Pubblicazione: (2017)

Advanced.NET remoting.
Pubblicazione: (2004)

ASP.NET Core Recipes
di: Ciliberti, John
Pubblicazione: (2020)

Programming in Visual Basic .Net: Visual Basic .Net 2003 Update Edition /
di: C.Millspaugh Anita
Pubblicazione: (2004)

Visual Basic .Net :
di: Phương Lan
Pubblicazione: (2005)

Visual Basic .NET.
Pubblicazione: (2000)

Visual Basic.Net.
Pubblicazione: (2000)