ورود به حساب

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

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

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

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

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

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


09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب Lectures on Concurrency and Petri Nets: Advances in Petri Nets

دانلود کتاب سخنرانی در همپوشانی و پتری شبکه: پیشرفت در شبکه های پتری

Lectures on Concurrency and Petri Nets: Advances in Petri Nets

مشخصات کتاب

Lectures on Concurrency and Petri Nets: Advances in Petri Nets

ویرایش: [1 ed.] 
نویسندگان: , , ,   
سری: Lecture Notes in Computer Science 3098 
ISBN (شابک) : 3540222618, 9783540277552 
ناشر: Springer-Verlag Berlin Heidelberg 
سال نشر: 2004 
تعداد صفحات: 852
[858] 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 18 Mb 

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



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

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


در صورت تبدیل فایل کتاب Lectures on Concurrency and Petri Nets: Advances in Petri Nets به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب سخنرانی در همپوشانی و پتری شبکه: پیشرفت در شبکه های پتری نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.


توضیحاتی در مورد کتاب سخنرانی در همپوشانی و پتری شبکه: پیشرفت در شبکه های پتری



این دوره آموزشی از چهارمین دوره پیشرفته در شبکه های پتری، ACPN 2003، در Eichst?tt، آلمان در سپتامبر 2003 برگزار شد.

علاوه بر سخنرانی های ارائه شده در ACPN 2003، فصل های اضافی نیز ارائه شده است. مأمور شده است تا به خوبی وضعیت هنر در منطقه را به خوبی ارائه دهد. این کتاب هم به‌عنوان مرجعی برای کسانی که در آن منطقه کار می‌کنند و هم به‌عنوان یک کتاب مطالعاتی برای خواننده‌ای که علاقه‌مند به مروری به‌روز از تحقیق و توسعه در سیستم‌های همزمان و توزیع‌شده است، مفید خواهد بود. البته، خوانندگانی که به طور خاص به جنبه‌های نظری یا کاربردی شبکه‌های پتری علاقه دارند، از این کتاب نیز قدردانی خواهند کرد.


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

This tutorial volume originates from the 4th Advanced Course on Petri Nets, ACPN 2003, held in Eichst?tt, Germany in September 2003.

In addition to lectures given at ACPN 2003, additional chapters have been commissioned to give a well-balanced presentation of the state of the art in the area. This book will be useful as both a reference for those working in the area as well as a study book for the reader who is interested in an up-to-date overview of research and development in concurrent and distributed systems; of course, readers specifically interested in theoretical or applicational aspects of Petri nets will appreciate the book as well.



فهرست مطالب

Front Matter....Pages -
Business Process Management Demystified: A Tutorial on Models, Systems and Standards for Workflow Management....Pages 1-65
InterPlay: Horizontal Scale-up and Transition to Design in Scenario-Based Programming....Pages 66-86
Timed Automata: Semantics, Algorithms and Tools....Pages 87-124
Petri Nets and Dependability....Pages 125-179
Process Algebra....Pages 180-209
A Coloured Petri Net Approach to Protocol Verification....Pages 210-290
Extending the Zero-Safe Approach to Coloured, Reconfigurable and Dynamic Nets....Pages 291-327
A Survey on Non-interference with Petri Nets....Pages 328-344
Synthesis of Asynchronous Hardware from Petri Nets....Pages 345-401
Teaching Coloured Petri Nets: Examples of Courses and Lessons Learned....Pages 402-412
Unbounded Petri Net Synthesis....Pages 413-438
Petri Nets and Software Engineering....Pages 439-466
Model Validation in Controller Design....Pages 467-495
Graph Grammars and Petri Net Transformations....Pages 496-536
Message Sequence Charts....Pages 537-558
Model-Based Development of Executable Business Processes for Web Services....Pages 559-584
Modelling and Control with Modules of Signal Nets....Pages 585-625
Application of Coloured Petri Nets in System Development....Pages 626-685
Bigraphs for Petri Nets....Pages 686-701
Notes on Timed Concurrent Constraint Programming....Pages 702-741
Petri Nets and Manufacturing Systems: An Examples-Driven Tour....Pages 742-788
Communicating Transaction Processes: An MSC-Based Model of Computation for Reactive Embedded Systems....Pages 789-818
Object Petri Nets....Pages 819-848
Back Matter....Pages -




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