دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
دسته بندی: کامپیوتر ویرایش: 1 نویسندگان: Marco Baldassari, Giorgio Bruno (auth.), Grzegorz Rozenberg (eds.) سری: Lecture Notes in Computer Science 340 ISBN (شابک) : 3540505806, 9783540505808 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 1988 تعداد صفحات: 444 زبان: English فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 4 مگابایت
کلمات کلیدی مربوط به کتاب پیشرفت در Petri Nets 1988: محاسبات با دستگاه های انتزاعی، تحلیل الگوریتم و پیچیدگی مسئله، منطق و معانی برنامه ها، معماری پردازنده، شبکه های ارتباطی کامپیوتری، سیستم عامل ها
در صورت تبدیل فایل کتاب Advances in Petri Nets 1988 به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب پیشرفت در Petri Nets 1988 نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
ایده پشت مجموعههای پیشرفتها در پتری نتس ارائه نتایج اخیر به جامعه عمومی علوم کامپیوتراست که نمایندهترین و B>برای توسعه در این زمینه مهم است. منبع اصلی مقالات \"پیشرفت\"، کارگاه های سالانه \"کارگاه های اروپایی کاربردها و نظریه پتری شبکه ها\" است. \"بهترین\" مقالات از آخرین کارگاه ها برای این مجموعه در نظر گرفته می شوند، یعنی دوباره بررسی می شوند و بر این اساس بازبینی یا تمدید می شوند. علاوه بر مقالات کارگاه، \"پیشرفت ها\" همچنین مقالات دعوت شده ای را که مستقیماً برای انتشار ارسال شده اند ارائه می دهد. جلد حاضر پیشرفت ها در Petri Nets 1988 هشتمین "کارگاه اروپایی کاربردها و نظریه شبکه های پتری" را دربر می گیرد که در ساراگوزا، اسپانیا در ژوئن 1987 برگزار شد. همچنین شامل نظرسنجی در مورد سوالات تصمیم پذیری برای کلاس های شبکه های FIFO توسط A. Finkel و L.E. روزیر.
The idea behind the series of volumes Advances in Petri Netsis to present to the general computer science community recent results which are the most representative and significant for the development in this area. The main source for the papers for "Advances" are the annual "European Workshops on Applications and Theory of Petri Nets"; the "best" papers from the latest workshops are considered for the series, i.e. they are reviewed again and revised or extended accordingly. In addition to the workshoppapers, the "Advances" also present invited papers submitteddirectly for publication. The present volume Advances in Petri Nets 1988 covers the 8th "European Workshop on Applications and Theory of Petri Nets" held in Zaragoza, Spain in June 1987. It also contains a survey on decidability questions for classes of FIFO nets by A. Finkel and L.E. Rosier.
An environment for object-oriented conceptual programming based on PROT nets....Pages 1-19
OBJSA Nets: a class of high-level nets having objects as domains....Pages 20-43
On internal and external characterisations of PT-net building block behaviour....Pages 44-61
Timed Petri Net schedules....Pages 62-84
An exercise in concurrency: A CSP process as a condition/event system....Pages 85-105
A survey on the decidability questions for classes of fifo nets....Pages 106-132
The construction of EN systems from a given trace behaviour....Pages 133-153
Programming a closely coupled multiprocessor system with high level petri nets....Pages 154-174
Music description and processing by Petri Nets....Pages 175-199
On questions of fairness and temporal logic for conflict-free Petri nets....Pages 200-226
Infinitary partial Petri net languages and their relationship to other Petri net semantics....Pages 227-248
Net representation of sentences in natural languages....Pages 249-265
Some consequences of the decidability of the reachability problem for Petri nets....Pages 266-282
Experiences in the use of galileo to design telecommunication systems....Pages 283-306
Compositional semantics of pure place/transition systems....Pages 307-330
Occurrence traces....Pages 331-342
Performance evaluation of interpreted bipolar synchronization schemes using G.E.R.T.....Pages 343-370
On the generation of organizational architectures using Petri Nets....Pages 371-385
On the computation of structural synchronic invariants in P/T nets....Pages 386-417
On the implementation of Petri nets....Pages 418-439