دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
ویرایش: [1 ed.] نویسندگان: Wil M. P. van der Aalst (auth.), Jörg Desel, Wolfgang Reisig, Grzegorz Rozenberg (eds.) سری: Lecture Notes in Computer Science 3098 ISBN (شابک) : 3540222618, 9783540277552 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2004 تعداد صفحات: 852 [858] زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 18 Mb
در صورت تبدیل فایل کتاب 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 -