عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
شابک
شابک
3642386962
شابک
3642386970
شابک
9783642386961
شابک
9783642386978
شماره کتابشناسی ملی
شماره
b568006
عنوان و نام پديدآور
عنوان اصلي
Application and theory of petri nets :
نام عام مواد
[Book]
ساير اطلاعات عنواني
34th international conference, PETRI NETS 2013, Milan, Italy, June 24-28, 2013 : proceedings
نام نخستين پديدآور
Jose-Manuel Colom, Jorg Desel (eds.).
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Heidelberg
نام ناشر، پخش کننده و غيره
Springer
تاریخ نشرو بخش و غیره
©2013.
مشخصات ظاهری
نام خاص و کميت اثر
(409 pages) : illustrations
فروست
عنوان فروست
Lecture notes in computer science, 7927.; LNCS sublibrary., SL 1,, Theoretical computer science and general issues.
يادداشت کلی
متن يادداشت
Purchased title.Multi-user access.International conference proceedings.
یادداشتهای مربوط به مندرجات
متن يادداشت
The Right Timing: Reflections on the Modeling and Analysis of Time.- Eliminating Concurrency Bugs in Multithreaded Software: An Approach Based on Control of Petri Nets.- Contextual Merged Processes.- -Petri Nets.- Results on Equivalence, Boundedness, Liveness, and Covering Problems of BPP-Petri Nets.- A Semantics for Every GSPN.- Expressing and Computing Passage Time Measures of GSPN Models with HASL.- On Multi-enabledness in Time Petri Nets.- Complexity Results for Elementary Hornets.- Complexity Analysis of Continuous Petri Nets.- Step Persistence in the Design of GALS Systems.- A Taxonomy of Persistent and Nonviolent Steps.- Colouring Space - A Coloured Framework for Spatial Modelling in Systems Biology.- The Vehicle Relocation Problem in Car Sharing Systems: Modeling and Simulation in a Petri Net Framework.- Net-Based Analysis of Event Processing Networks - The Fast Flower Delivery Case.- Hierarchical Conformance Checking of Process Models Based on Event Logs.- Discovering Block-Structured Process Models from Event Logs - A Constructive Approach.- Faster Verification of Partially Ordered Runs in Petri Nets Using Compact Tokenflows.- Unifying the Semantics of Modular Extensions of Petri Nets.- Channel Properties of Asynchronously Composed Petri Nets.- MARCIE - Model Checking and Reachability Analysis Done Efficiently.- CPN Tools 4: Multi-formalism and Extensibility.
عنوان اصلی به زبان دیگر
عنوان اصلي به زبان ديگر
PETRI NETS 2013
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Petri nets -- Congresses.
موضوع مستند نشده
Petri nets.
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام اشخاص تاييد نشده
Jose-Manuel Colom, Jorg Desel (eds.).
نام شخص - (مسئولیت معنوی برابر )
مستند نام اشخاص تاييد نشده
Jörg Desel
مستند نام اشخاص تاييد نشده
José-Manuel Colom
دسترسی و محل الکترونیکی
نام الکترونيکي
مطالعه متن کتاب اطلاعات رکورد کتابشناسی
نوع ماده
[Book]
اطلاعات دسترسی رکورد
تكميل شده
Y
