عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
شابک
شابک
0387179062
شابک
3540179062
شابک
9780387179063
شابک
9783540179061
شماره کتابشناسی ملی
شماره
b537663
عنوان و نام پديدآور
عنوان اصلي
Petri Nets :
نام عام مواد
[Book]
ساير اطلاعات عنواني
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.].
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Berlin
نام ناشر، پخش کننده و غيره
Springer
تاریخ نشرو بخش و غیره
1987
مشخصات ظاهری
نام خاص و کميت اثر
516 str. : ilustr. ; 25 cm.
فروست
عنوان فروست
Lecture notes in computer science, 255.
یادداشتهای مربوط به مندرجات
متن يادداشت
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.
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام اشخاص تاييد نشده
edited by W. Brauer ... [et al.].
نام شخص - (مسئولیت معنوی برابر )
مستند نام اشخاص تاييد نشده
et al
مستند نام اشخاص تاييد نشده
G Rozenberg
مستند نام اشخاص تاييد نشده
W Brauer
مستند نام اشخاص تاييد نشده
W Reisig
دسترسی و محل الکترونیکی
نام الکترونيکي
مطالعه متن کتاب اطلاعات رکورد کتابشناسی
نوع ماده
[Book]
اطلاعات دسترسی رکورد
تكميل شده
Y
