دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Application and Theory of Petri Nets 1992: 13th International Conference Sheffield, UK, June 22–26, 1992 Proceedings
دانلود کتاب کاربرد و نظریه Petri Netts 1992: 13th International Conference Sheffield، UK، 22-26 ژوئن، 1992 مقالات
مشخصات کتاب
Application and Theory of Petri Nets 1992: 13th International Conference Sheffield, UK, June 22–26, 1992 Proceedings
دسته بندی: کامپیوتر ویرایش: 1 نویسندگان: Gianfranco Balbo (auth.), K. Jensen (eds.) سری: Lecture Notes in Computer Science 616 ISBN (شابک) : 3540556761, 9783540556763 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 1992 تعداد صفحات: 407 زبان: English فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 5 مگابایت
قیمت کتاب (تومان) : 42,000
کلمات کلیدی مربوط به کتاب کاربرد و نظریه Petri Netts 1992: 13th International Conference Sheffield، UK، 22-26 ژوئن، 1992 مقالات: محاسبات با دستگاه های انتزاعی، معماری پردازنده، تحلیل الگوریتم و پیچیدگی مسئله، شبکه های ارتباطی کامپیوتری، سیستم عامل، منطق و معانی برنامه ها
در صورت تبدیل فایل کتاب Application and Theory of Petri Nets 1992: 13th International Conference Sheffield, UK, June 22–26, 1992 Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب کاربرد و نظریه Petri Netts 1992: 13th International Conference Sheffield، UK، 22-26 ژوئن، 1992 مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب کاربرد و نظریه Petri Netts 1992: 13th International Conference Sheffield، UK، 22-26 ژوئن، 1992 مقالات
این جلد شامل مجموعه مقالات سیزدهمین کنفرانس بین المللی کاربرد و تئوری شبکه های پتری است که در شفیلد انگلستان در ژوئن 1992 برگزار شد. هدف کنفرانس های پتری نت ایجاد یک انجمن برای بحث در مورد پیشرفت در کاربرد و نظریه است. تورهای پتری به طور معمول، کنفرانس ها 150-200 شرکت کننده دارند که یک سوم آنها از صنعت و بقیه از دانشگاه ها و موسسات تحقیقاتی هستند. کنفرانس سال 1992 توسط دانشکده علوم محاسبات و مدیریت در پلی تکنیک شفیلد سیتی انگلستان سازماندهی شد. این جلد شامل دو مقاله دعوت شده توسط G. Balbo و W. Reisig، 18 مقاله ارسال شده و هفت مقاله پروژه است. مقالات ارسالی و ارائه‌های پروژه توسط کمیته برنامه و هیئت داوران از بین تعداد زیادی ارسالی انتخاب شدند.
توضیحاتی درمورد کتاب به خارجی
This volume contains the proceedings of the 13th International Conference onApplication and Theory of Petri Nets, held in Sheffield, England, in June 1992. The aim of the Petri net conferences is to create a forum for discussing progress in the application and theory of Petri nets. Typically, the conferences have 150-200 participants, one third of these coming from industry and the rest from universities and research institutions. The 1992 conference was organized by the School of Computing and Management Sciences at Sheffield City Polytechnic, England. The volume contains twoinvited papers, by G. Balbo and W. Reisig, 18 submitted papers, and seven project papers. The submitted papers and project presentations were selectedby the programme committee and a panel of referees from a large number of submissions.
فهرست مطالب
Performance issues in parallel programming....Pages 1-23
Combining Petri Nets and other formal methods....Pages 24-44
Place bisimulations in Petri nets....Pages 45-61
A polynomial-time graph algorithm to decide liveness of some basic classes of bounded Petri nets....Pages 62-75
Refinement and simulation of nets — a categorical characterisation....Pages 76-92
Scheduling hard real time systems using high-level Petri nets....Pages 93-112
Towards a modular analysis of coloured Petri nets....Pages 113-133
A proof of the Rank Theorem for extended free choice nets....Pages 134-153
On the product form solution for Stochastic Petri Nets....Pages 154-172
Obtaining deadlock-preserving skeletons for coloured nets....Pages 173-192
P-superfairness in nets....Pages 193-204
Formal verification of an arbiter cascade....Pages 205-223
Constructs for modeling information systems with Petri nets....Pages 224-243
Construction of a class of safe Petri nets by presenting firing sequences....Pages 244-262
An efficient polynomial-time algorithm to decide liveness and boundedness of free-choice nets....Pages 263-278
Hierarchical solution of generalized Stochastic Petri Nets by means of traffic processes....Pages 279-298
Concurrency relations and the safety problem for Petri nets....Pages 299-309
High-level nets and linear logic....Pages 310-327
Liveness and boundedness analysis for Petri nets with event graph modules....Pages 328-347
On weighted T-systems....Pages 348-367
Using Petri Nets to develop programs for PLC systems....Pages 368-372
Modelling and control of complex logistic systems for manufacturing....Pages 373-378
Modelling and evaluation of a satellite system using EVAL, a Petri Net based industrial tool....Pages 379-383
Analysis of an Ada system using coloured Petri nets and occurrence graphs....Pages 384-388
The stubborn set method in practice....Pages 389-393
Modeling fine grain computation via the Fusion of two extended Petri nets....Pages 394-398
نظرات کاربران
کتاب های مرتبط
دانلود کتاب Curves and Surfaces for Computer Graphics
دانلود کتاب BTEC National Computing Student Book
دانلود کتاب Computer arithmetic lectures
دانلود کتاب Efficient Visual Recognition Using the Hausdorff Distance
دانلود کتاب IT Times (Beta, rs 150/=)
دانلود کتاب The Minimum Description Length Principle
دانلود کتاب Frontiers in Algorithmics: 4th International Workshop, FAW 2010, Wuhan, China, August 11-13, 2010. Proceedings
دانلود کتاب Computer Vision Systems: 6th International Conference, ICVS 2008 Santorini, Greece, May 12-15, 2008 Proceedings
دانلود کتاب Image-Based Rendering (Foundations and Trends in Computer Graphics and Vision)
