عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
شابک
شابک
3540566899
شابک
9783540566892
شماره کتابشناسی ملی
شماره
b555045
عنوان و نام پديدآور
عنوان اصلي
Advances in Petri Nets.
نام عام مواد
[Book]
نام نخستين پديدآور
G Rozenberg
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Berlin, Heidelberg
نام ناشر، پخش کننده و غيره
Springer Berlin Heidelberg
تاریخ نشرو بخش و غیره
1993
مشخصات ظاهری
نام خاص و کميت اثر
(x, 462 pages).
فروست
عنوان فروست
Lecture notes in computer science, 674.
یادداشتهای مربوط به مندرجات
متن يادداشت
Replacement of open interface subnets and stable state transformation equivalence --;Bounded self-stabilizing Petri nets --;Generative families of positive invariants in Coloured nets sub-classes --;Autonomous and timed continuous Petri nets --;The Devnet: A Petri net for discrete event simulation --;A new technique for finding a generating family of siphons, traps and st-components. Application to colored Petri nets --;A concept of hierarchical Petri nets with building blocks --;Petri net tool overview 1992 --;The minimal coverability graph for Petri nets --;Distributed implementation of CCS --;Saturation conditions for Stochastic Petri Nets --;Marking optimization in timed event graphs --;Parameterized reachability trees for Predicate/Transition nets --;Iterative decomposition and aggregation of Stochastic marked graph Petri nets --;Constraints and extensions in a Calculus of EN systems --;Comparability orders and measurement --;Deterministic systems of sequential processes: A class of structured Petri nets --;Compositional state space generation.
یادداشتهای مربوط به خلاصه یا چکیده
متن يادداشت
The main aims of the series of volumes "Advances in Petri Nets" are: - to present to the "outside" scientific community a fair picture of recent advances in the area of Petri nets, and - to encourage those interested in the applications and the theory of concurrent systems to take a closer look at Petri nets and then join the group of researchers working in this fascinating and challenging area. This volume is based on the proceedings of the 12th International Conference on Applications and Theory of Petri Nets, held in Gjern, Denmark, in June 1991. It contains 18 selected and revised papers covering all aspects of recent Petri net research.
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Computer networks.
موضوع مستند نشده
Computer science.
موضوع مستند نشده
Microprocessors.
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام اشخاص تاييد نشده
G Rozenberg
نام شخص - (مسئولیت معنوی برابر )
مستند نام اشخاص تاييد نشده
G Rozenberg
مستند نام اشخاص تاييد نشده
Grzegorz Rozenberg
دسترسی و محل الکترونیکی
نام الکترونيکي
مطالعه متن کتاب اطلاعات رکورد کتابشناسی
نوع ماده
[Book]
اطلاعات دسترسی رکورد
تكميل شده
Y
