دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Advances in Petri Nets 1993
دانلود کتاب پیشرفت های پتری نت نت 1993
مشخصات کتاب
Advances in Petri Nets 1993
دسته بندی: کامپیوتر ویرایش: 1 نویسندگان: Ghassan Chehaibar (auth.), Grzegorz Rozenberg (eds.) سری: Lecture Notes in Computer Science 674 ISBN (شابک) : 3540566899, 9783540566892 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 1993 تعداد صفحات: 464 زبان: English فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 4 مگابایت
قیمت کتاب (تومان) : 57,000
کلمات کلیدی مربوط به کتاب پیشرفت های پتری نت نت 1993: محاسبات با دستگاه های انتزاعی، تحلیل الگوریتم و پیچیدگی مسئله، منطق و معانی برنامه ها، معماری پردازنده، شبکه های ارتباطی کامپیوتری، سیستم عامل ها
در صورت تبدیل فایل کتاب Advances in Petri Nets 1993 به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب پیشرفت های پتری نت نت 1993 نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب پیشرفت های پتری نت نت 1993
هدف اصلی مجموعه مجلدات \"پیشرفتها در شبکه پتری\" عبارتند از: - ارائه تصویری منصفانه از پیشرفتهای اخیر در زمینه شبکه های پتری به جامعه علمی \"خارج\" و - تشویق علاقه مندان به کاربردها و تئوری سیستم های همزمان، نگاهی دقیق تر به شبکه های پتری بیاندازند و سپس به گروه محققانی که در این حوزه جذاب و چالش برانگیز کار می کنند، بپیوندند. این جلد بر اساس مجموعه مقالات دوازدهمین کنفرانس بین المللی کاربردها و تئوری شبکه های پتری، برگزار شده در جرن، دانمارک، در ژوئن 1991 است. شامل 18 مقاله منتخب و اصلاح شده است که تمام جنبه های تحقیقات اخیر پتری نت را پوشش می دهد.
توضیحاتی درمورد کتاب به خارجی
The main aims of the series of volumes "Advances in Petri Nets" are: - to present to the "outside" scientific community a fair picture of recent advances in the area of Petri nets, and - to encourage those interested in the applications and the theory of concurrent systems to take a closer look at Petri nets and then join the group of researchers working in this fascinating and challenging area. This volume is based on the proceedings of the 12th International Conference on Applications and Theory of Petri Nets, held in Gjern, Denmark, in June 1991. It contains 18 selected and revised papers covering all aspects of recent Petri net research.
فهرست مطالب
Replacement of open interface subnets and stable state transformation equivalence....Pages 1-25
Bounded self-stabilizing Petri nets....Pages 26-50
Generative families of positive invariants in Coloured nets sub-classes....Pages 51-70
Autonomous and timed continuous Petri nets....Pages 71-90
The Devnet: A Petri net for discrete event simulation....Pages 91-125
A new technique for finding a generating family of siphons, traps and st-components. Application to colored Petri nets....Pages 126-147
A concept of hierarchical Petri nets with building blocks....Pages 148-168
Petri net tool overview 1992....Pages 169-209
The minimal coverability graph for Petri nets....Pages 210-243
Distributed implementation of CCS....Pages 244-266
Saturation conditions for Stochastic Petri Nets....Pages 267-280
Marking optimization in timed event graphs....Pages 281-300
Parameterized reachability trees for Predicate/Transition nets....Pages 301-324
Iterative decomposition and aggregation of Stochastic marked graph Petri nets....Pages 325-349
Constraints and extensions in a Calculus of EN systems....Pages 350-370
Comparability orders and measurement....Pages 371-405
Deterministic systems of sequential processes: A class of structured Petri nets....Pages 406-426
Compositional state space generation....Pages 427-457
نظرات کاربران
کتاب های مرتبط
دانلود کتاب Hyperparameter Optimization in Machine Learning: Make Your Machine Learning and Deep Learning Models More Efficient
دانلود کتاب Computational Aspects of VLSI (Principles of Computer Science Series)
دانلود کتاب Computer vision
دانلود کتاب Introduction to scientific visualization
دانلود کتاب Metaheuristic Optimization Algorithms in Civil Engineering: New Applications
دانلود کتاب Verification, Model Checking, and Abstract Interpretation: 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006. Proceedings
دانلود کتاب Logic and Computer Design Fundamentals
دانلود کتاب Molecular Imaging: Computer Reconstruction and Practice (NATO Science for Peace and Security Series B: Physics and Biophysics)
دانلود کتاب PPP Design, Implementation, and Debugging
