Generalized nets /

Côd QR

Generalized nets /

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

Wedi'i Gadw mewn:

Manylion Llyfryddiaeth
Prif Awdur:	Atanassov, Krassimir T.
Fformat:	Sách giấy
Cyhoeddwyd:	Singapore ; River Edge : World Scientific, c1991.
Pynciau:	Computer programming. Petri nets.
Tagiau:	Ychwanegu Tag Dim Tagiau, Byddwch y cyntaf i dagio'r cofnod hwn!

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

Eitemau Tebyg

Generalized nets /
gan: Atanassov, Krassimir T.
Cyhoeddwyd: (1991)

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

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

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

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

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

Mobile Applications Testing Based on Bigraphs and Dynamic Feature Petri Nets
gan: Nguyen, Thanh Binh, et al.
Cyhoeddwyd: (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
Cyhoeddwyd: (1994)

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

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

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

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

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

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

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

Programming in Visual Basic.NET : Visual Basic.NET 2003 update edition
gan: Bradley, Julia Case.
Cyhoeddwyd: (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
gan: Nguyễn, Thanh Tuấn, et al.
Cyhoeddwyd: (2021)

Essential Angular for ASP.NET Core MVC
gan: Freeman, Adam
Cyhoeddwyd: (2020)

Microsoft .Net and J2EE Interoperability toolkit
gan: Guest, Simon
Cyhoeddwyd: (2004)

Microsoft .Net and J2EE Interoperability toolkit
gan: Guest, Simon
Cyhoeddwyd: (2004)

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

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

Programming in C#.Net
gan: Bradley, Julia Case
Cyhoeddwyd: (2004)

Visual C++ .NET

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

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

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

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

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

Advanced Programming with Microsoft Visual Basic.NET
gan: Spear, Bob
Cyhoeddwyd: (2004)

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

Advanced.NET remoting.
Cyhoeddwyd: (2004)

ASP.NET Core Recipes
gan: Ciliberti, John
Cyhoeddwyd: (2020)

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

Visual Basic .Net :
gan: Phương Lan
Cyhoeddwyd: (2005)

Visual Basic .NET.
Cyhoeddwyd: (2000)

Visual Basic.Net.
Cyhoeddwyd: (2000)