دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
ویرایش:
نویسندگان: Maciej Koutny Wil. Aalst Alex Yakovlev
سری:
ISBN (شابک) : 9783642404641
ناشر: Springer
سال نشر: 2013
تعداد صفحات: 216
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 4 مگابایت
در صورت تبدیل فایل کتاب Transactions on Petri Nets and Other Models of Concurrency VIII به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب معاملات در Petri Nets و سایر مدلهای Concurerency VIII نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
جلد هشتم ToPNoC شامل نسخههای اصلاحشده و توسعهیافته منتخبی از بهترین مقالات کارگاهی است که در سی و سومین کنفرانس بینالمللی کاربرد و نظریه شبکههای پتری و سایر مدلهای همزمانی (پتری نتها 2012) ارائه شده است. این 10 مقاله طیف متنوعی از موضوعات از جمله بررسی مدل و تأیید سیستم، پالایش و ترکیب، کار بنیادی بر روی کلاسهای خاص شبکههای پتری، و کاربردهای نوآورانه شبکههای پتری و سایر مدلهای همزمانی را پوشش میدهند. حوزههای کاربردی تحت پوشش این جلد عبارتند از: سیستمهای بیولوژیکی، پروتکلهای ارتباطی، فرآیندهای تجاری، کار تیمی مشترک، و آموزش شبکه پتری. بنابراین این جلد دید خوبی از سیستمهای همزمان در حال انجام و تحقیقات شبکههای پتری میدهد.
The 8th volume of ToPNoC contains revised and extended versions of a selection of the best workshop papers presented at the 33rd International Conference on Application and Theory of Petri Nets and Other Models of Concurrency (Petri Nets 2012). The 10 papers cover a diverse range of topics including model checking and system verification, refinement and synthesis, foundational work on specific classes of Petri nets, and innovative applications of Petri nets and other models of concurrency. Application areas covered in this volume are: biological systems, communication protocols, business processes, collaborative team work, and Petri net education. Thus this volume gives a good view of ongoing concurrent systems and Petri nets research.
Front Matter....Pages -
Comparing Metabolic Pathways through Reactions and Potential Fluxes....Pages 1-23
Modeling and Analyzing Wireless Sensor Networks with VeriSensor : An Integrated Workflow....Pages 24-47
Local State Refinement and Composition of Elementary Net Systems: An Approach Based on Morphisms....Pages 48-70
From Code to Coloured Petri Nets: Modelling Guidelines....Pages 71-88
Using Integer Time Steps for Checking Branching Time Properties of Time Petri Nets....Pages 89-105
When Can We Trust a Third Party?....Pages 106-122
Hybrid Petri Nets for Modelling the Eukaryotic Cell Cycle....Pages 123-141
Simulative Model Checking of Steady State and Time-Unbounded Temporal Operators....Pages 142-158
Model-Driven Middleware Support for Team-Oriented Process Management....Pages 159-179
Grade/CPN: A Tool and Temporal Logic for Testing Colored Petri Net Models in Teaching....Pages 180-202
Back Matter....Pages -