دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
ویرایش: 1 نویسندگان: Joseph Sifakis (auth.), Giuliana Franceschinis, Karsten Wolf (eds.) سری: Lecture Notes in Computer Science 5606 Theoretical Computer Science and General Issues ISBN (شابک) : 9783642024238, 9783642024245 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2009 تعداد صفحات: 364 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 7 مگابایت
کلمات کلیدی مربوط به کتاب برنامه ها و تئوری پتری نت: سی امین کنفرانس بین المللی ، PETRI NETS 2009 ، پاریس ، فرانسه ، 22-26 ژوئن ، 2009. مجموعه مقالات: نظریه محاسبات، ریاضیات گسسته در علوم کامپیوتر، تحلیل الگوریتم و پیچیدگی مسائل، مهندسی نرم افزار، منطق ریاضی و زبان های رسمی، منطق و معانی برنامه ها
در صورت تبدیل فایل کتاب Applications and Theory of Petri Nets: 30th International Conference, PETRI NETS 2009, Paris, France, June 22-26, 2009. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب برنامه ها و تئوری پتری نت: سی امین کنفرانس بین المللی ، PETRI NETS 2009 ، پاریس ، فرانسه ، 22-26 ژوئن ، 2009. مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
این کتاب مجموعه مقالات داوری سیامین کنفرانس بینالمللی کاربردها و تئوری شبکههای پتری و سایر مدلهای همزمانی، PETRI NETS 2009، در پاریس، فرانسه، در ژوئن 2009 است.
19 مقاله اصلاح شده طبقه بندی شده به عنوان مقالات تئوری (13)، مقاله کاربردی (1) و مقاله ابزار (5) به دقت بررسی و از 46 مورد ارسالی انتخاب شدند. تمام مسائل جاری در مورد تحقیق و توسعه در زمینه شبکههای پتری و مدلهای مربوط به سیستمهای همزمان مورد بررسی قرار گرفتهاند، ابزارهای جدید و همچنین پیشرفتهای اساسی در ابزارهای موجود ارائه شدهاند.
This book constitutes the refereed proceedings of the 30th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, PETRI NETS 2009, held in Paris, France, in June 2009.
The 19 revised papers classified as theory papers (13), application papers (1), and tool papers (5) were carefully reviewed and selected from 46 submissions. All current issues on research and development in the area of Petri nets and related models of concurrent systems are addressed, novel tools as well as substantial enhancements to existing tools are presented.
Front Matter....Pages -
Component-Based Construction of Heterogeneous Real-Time Systems in Bip....Pages 1-1
Unifying Petri Net Semantics with Token Flows....Pages 2-21
Reaction Systems: A Formal Framework for Processes....Pages 22-22
Simple Composition of Nets....Pages 23-42
Towards a Standard for Modular Petri Nets: A Formalisation....Pages 43-62
Decidability Results for Restricted Models of Petri Nets with Name Creation and Replication....Pages 63-82
Pomset Languages of Finite Step Transition Systems....Pages 83-102
Deficiency Zero Petri Nets and Product Form....Pages 103-122
Bisimilarity Minimization in O ( m log n ) Time....Pages 123-142
P-Semiflow Computation with Decision Diagrams....Pages 143-162
Orthomodular Lattices in Occurrence Nets....Pages 163-182
Hasse Diagram Generators and Petri Nets....Pages 183-203
Modeling and Analysis of Transportation Networks Using Batches Petri Nets with Controllable Batch Speed....Pages 204-222
Oclets – Scenario-Based Modeling with Petri Nets....Pages 223-242
Hornets: Nets within Nets Combined with Net Algebra....Pages 243-262
Monotonicity in Service Orchestrations....Pages 263-282
Compositional Service Trees....Pages 283-302
ASAP: An Extensible Platform for State Space Analysis....Pages 303-312
The Access/CPN Framework: A Tool for Interacting with the CPN Tools Simulator....Pages 313-322
DSSZ-MC – A Tool for Symbolic Analysis of Extended Petri Nets....Pages 323-332
Workcraft – A Framework for Interpreted Graph Models....Pages 333-342
PDETool: A Multi-formalism Modeling Tool for Discrete-Event Systems Based on SDES Description....Pages 343-352
Back Matter....Pages -