Petri nets : applications and relationships to other models of concurrency : Advances in Petri nets 1986 Part II, proceedings of an advanced course, Bad Honnef, 8. 19. September 1986

The present volume is the second of two parts which constitute the proceedings of the 1986 Advanced Course on Petri Nets in Bad Honnef. It discusses tools supporting the design of petri nets as well as their modification and analysis, presents a variety of applications, and covers the relationship o...

Mô tả đầy đủ

Đã lưu trong:
Chi tiết về thư mục
Tác giả của công ty: Advanced Course on Petri Nets :Bad Honnef
Tác giả khác: Brauer, Wilfried, 1937-2014 (Giám đốc xuất bản), Reisig, Wolfgang, 1950- (Giám đốc xuất bản), Rozenberg, Grzegorz, 1942- (Giám đốc xuất bản)
Định dạng: Livre numérique
Ngôn ngữ:Anglais
Được phát hành: Berlin [etc.] : Springer [20..].
Cham : Springer Nature
Loạt:Lecture notes in computer science 255
Những chủ đề:
Truy cập trực tuyến:Accès sur la plateforme de l'éditeur
Accès sur la plateforme Istex
Accès Université d'Orléans
Accès INSA CVL
Chú thích: Archives Springer e-books (Licence nationale)
Archives Springer e-books (Licence nationale)
Autres localisations: Voir dans le Sudoc
Edition sous un autre format:• Advances in Petri nets 1986, Vol. 2, Petri nets : applications and relationships to other models of concurrency : proc. of an Advanced Course ..., Bad Honnef, 8-19 Sept. 1986, Advanced Course on Petri Nets, Berlin, Springer, 1987, 1 vol. (X-516 p.), Lecture notes in computer science, 3-540-17906-2
• Advances in Petri Nets 1986. Proceedings of an Advanced Course, Bad Honnef, 8.-19. September 1986, Texte imprimé, 9783662212035

Internet

Accès sur la plateforme de l'éditeur
Accès sur la plateforme Istex
Accès Université d'Orléans
Accès INSA CVL