منو
رکورد قبلیرکورد بعدی

" Petri Nets : "


Document Type : BL
Record Number : 717976
Doc. No : b537663
Main Entry : edited by W. Brauer ... [et al.].
Title & Author : Petri Nets : : applications and relationships to other models of concurrency : advances in Petri Nets 1986. Part 2 : proceedings of an advanced course : Bad Honnef, 8-19 september 1986\ edited by W. Brauer ... [et al.].
Publication Statement : Berlin: Springer, 1987
Series Statement : Lecture notes in computer science, 255.
Page. NO : 516 str. : ilustr. ; 25 cm.
ISBN : 0387179062
: : 3540179062
: : 9780387179063
: : 9783540179061
Contents : to Part II.- Computer tools for construction, modification and analysis of Petri nets.- Petri net tool overview 1986.- Petri nets in software engineering.- Nets in data bases.- Petri net based models in the specification and verification of protocols.- Human-machine interaction and role/function/action-nets.- Nets in production systems.- Nets in computer organization.- Nets in office automation.- Modelling architectural features with petrinets.- Trace theory.- Event structures.- CCS - and its relationship to net theory.- COSY: Its relation to nets and to CSP.- TCSP: Theory of communicating sequential processes.- Reduction, data flow and control flow models of computation.- "Forgotten topics" of net theory.
Added Entry : et al
: G Rozenberg
: W Brauer
: W Reisig
copyhttps://lib.clisel.com/site/catalogue/717976
کپی لینک
پیشنهاد خرید
پیوستها
Search result is zero
نظرسنجی
نظرسنجی منابع دیجیتال

1 - آیا از کیفیت منابع دیجیتال راضی هستید؟