ورود به حساب

نام کاربری گذرواژه

گذرواژه را فراموش کردید؟ کلیک کنید

حساب کاربری ندارید؟ ساخت حساب

ساخت حساب کاربری

نام نام کاربری ایمیل شماره موبایل گذرواژه

برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید


09117307688
09117179751

در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید

دسترسی نامحدود

برای کاربرانی که ثبت نام کرده اند

ضمانت بازگشت وجه

درصورت عدم همخوانی توضیحات با کتاب

پشتیبانی

از ساعت 7 صبح تا 10 شب

دانلود کتاب Application and Theory of Petri Nets 2000: 21st International Conference, ICATPN 2000 Aarhus, Denmark, June 26–30, 2000 Proceedings

دانلود کتاب کاربرد و نظریه شبکه پتری 2000: 21st International Conference، ICATPN 2000 Aarhus، Denmark، June 26-30، 2000 Proceedings

Application and Theory of Petri Nets 2000: 21st International Conference, ICATPN 2000 Aarhus, Denmark, June 26–30, 2000 Proceedings

مشخصات کتاب

Application and Theory of Petri Nets 2000: 21st International Conference, ICATPN 2000 Aarhus, Denmark, June 26–30, 2000 Proceedings

دسته بندی: کامپیوتر
ویرایش: 1 
نویسندگان: , , , , , ,   
سری: Lecture Notes in Computer Science 1825 
ISBN (شابک) : 3540676937, 9783540676935 
ناشر: Springer-Verlag Berlin Heidelberg 
سال نشر: 2000 
تعداد صفحات: 492 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 6 مگابایت

قیمت کتاب (تومان) : 43,000



کلمات کلیدی مربوط به کتاب کاربرد و نظریه شبکه پتری 2000: 21st International Conference، ICATPN 2000 Aarhus، Denmark، June 26-30، 2000 Proceedings: تئوری محاسبات، مهندسی نرم افزار، شبکه های ارتباطی کامپیوتری، ریاضیات گسسته در علوم کامپیوتر



ثبت امتیاز به این کتاب

میانگین امتیاز به این کتاب :
       تعداد امتیاز دهندگان : 16


در صورت تبدیل فایل کتاب Application and Theory of Petri Nets 2000: 21st International Conference, ICATPN 2000 Aarhus, Denmark, June 26–30, 2000 Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب کاربرد و نظریه شبکه پتری 2000: 21st International Conference، ICATPN 2000 Aarhus، Denmark، June 26-30، 2000 Proceedings نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.


توضیحاتی در مورد کتاب کاربرد و نظریه شبکه پتری 2000: 21st International Conference، ICATPN 2000 Aarhus، Denmark، June 26-30، 2000 Proceedings

این کتاب مجموعه مقالات داوری بیست و یکمین کنفرانس بین‌المللی کاربرد و تئوری شبکه‌های پتری، ICATPN 2000، در آرهوس، دانمارک، در ژوئن 2000 است.
20 مقاله کامل اصلاح‌شده همراه با چهار نظرسنجی دعوت‌شده و چهار ارائه ابزار ارائه شده است. از بین 57 مورد ارسالی به دقت بررسی و انتخاب شدند. این مقالات به تمام جنبه‌های فعلی تحقیق و توسعه شبکه پتری از جمله طراحی و تأیید سیستم، UML، ترکیب‌بندی، جبرهای فرآیند، بررسی مدل، شبکه‌های کامپیوتری، مهندسی فرآیند کسب‌وکار، شبکه‌های ارتباطی و غیره می‌پردازند. کلاس‌های مختلفی از شبکه‌های پتری از جمله پتری امن مورد بحث قرار می‌گیرند. توری، توری پتری سطح بالا، توری پتری رنگی، توری P/T و توری پتری زمان دار.


توضیحاتی درمورد کتاب به خارجی

This book constitutes the refereed proceedings of the 21st International Conference on Application and Theory of Petri Nets, ICATPN 2000, held in Aarhus, Denmark, in June 2000.
The 20 revised full papers presented together with four invited surveys and four tool presentations were carefully reviewed and selected from 57 submissions. The papers address all current aspects of Petri net research and development including system design and verification, UML, compositionality, process algebras, model checking, computer networking, business process engineering, communication networks, etc. Various classes of Petri nets are discussed including safe Petri nets, high-level Petri nets, colored Petri nets, P/T nets, and timed Petri nets.



فهرست مطالب

Hardware and Petri Nets Application to Asynchronous Circuit Design....Pages 1-15
Region Based Synthesis of P/T-Nets and Its Potential Applications....Pages 16-23
UML — A Universal Modeling Language?....Pages 24-38
Verification of Timed and Hybrid Systems....Pages 39-42
Parametric Stochastic Well-Formed Nets and Compositional Modelling....Pages 43-62
Reducing k -Safe Petri Nets to Pomset-Equivalent 1-Safe Petri Nets....Pages 63-82
Executing Transactions in Zero-Safe Nets....Pages 83-102
Efficient Symbolic State-Space Construction for Asynchronous Systems....Pages 103-122
Designing a LTL Model-Checker Based on Unfolding Graphs....Pages 123-145
Process Semantics of Petri Nets over Partial Algebra....Pages 146-165
User Interface Prototyping Based on UML Scenarios and High-Level Petri Nets....Pages 166-186
Decidability of Properties of Timed-Arc Petri Nets....Pages 187-206
Analysing the WAP Class 2 Wireless Transaction Protocol Using Coloured Petri Nets....Pages 207-226
Liveness Verification of Discrete Event Systems Modeled by n -Safe Ordinary Petri Nets....Pages 227-243
Modelling and Analysing the SDL Description of the ISDN-DSS1 Protocol....Pages 244-260
Process Semantics of P/T-Nets with Inhibitor Arcs....Pages 261-281
Improved Question-Guided Stubborn Set Methods for State Properties....Pages 282-302
A Compositional Model of Time Petri Nets....Pages 303-322
Composing Abstractions of Coloured Petri Nets....Pages 323-342
Modelling and Analysis of a DANFOSS Flowmeter System Using Coloured Petri Nets....Pages 346-366
Automatic Code Generation Method Based on Coloured Petri Net Models Applied on an Access Control System....Pages 367-386
Pre- and Post-agglomerations for LTL Model Checking....Pages 387-408
Bisimulation and the Reduction of Petri Nets....Pages 409-423
Efficiency of Asynchronous Systems That Communicate Asynchronously....Pages 424-444
CASCADE: A Tool Kernel Supporting a Comprehensive Design Method for Asynchronous Controllers....Pages 445-454
Ex Spect 6.4 An Executable Specification Tool for Hierarchical Colored Petri Nets....Pages 455-464
LoLA A Low Level Analyser....Pages 465-474
Woflan 2.0 A Petri-Net-Based Workflow Diagnosis Tool....Pages 475-484




نظرات کاربران

تمامی حقوق معنوی و مادی وبسایت متعلق به اینترنشنال لایبرری می باشد
نماد اعتماد الکترونیکی