Контакты/Проезд  Доставка и Оплата Помощь/Возврат
История
  +7 707 857-29-98
  +7(7172) 65-23-70
  10:00-18:00 пн-пт
  shop@logobook.kz
   
    Поиск книг                        
Найти
  Зарубежные издательства Российские издательства  
Авторы | Каталог книг | Издательства | Новинки | Учебная литература | Акции | Бестселлеры | |
 

Petri Net Synthesis, Eric Badouel; Luca Bernardinello; Philippe Daronde


Варианты приобретения
Цена: 55890.00T
Кол-во:
Наличие: Поставка под заказ.  Есть в наличии на складе поставщика.
Склад Америка: 200 шт.  
При оформлении заказа до: 2025-07-28
Ориентировочная дата поставки: Август-начало Сентября
При условии наличия книги у поставщика.

Добавить в корзину
в Мои желания

Автор: Eric Badouel; Luca Bernardinello; Philippe Daronde
Название:  Petri Net Synthesis
ISBN: 9783662516218
Издательство: Springer
Классификация:



ISBN-10: 3662516217
Обложка/Формат: Paperback
Страницы: 339
Вес: 0.55 кг.
Дата издания: 23.08.2016
Серия: Texts in Theoretical Computer Science. An EATCS Series
Язык: English
Размер: 234 x 156 x 19
Основная тема: Computer Science
Ссылка на Издательство: Link
Рейтинг:
Поставляется из: Германии
Описание: Introduction.- Introduction to Elementary Net Synthesis.- Other Forms of the Synthesis Problem.- Algorithms of Elementary Net Synthesis.- Variations of Elementary Net Synthesis.- A Unified Theory of Net Synthesis.- The Linear Algebraic Structure of Regions.- Synthesis of P/T-Nets from Finite Initialized Transition Systems.- Synthesis of Unbounded P/T-Nets.- P/T-Nets with the Step Firing Rule.- Extracting Concurrency from Transition Systems.- Process Discovery.- Supervisory Control.- Design of Speed Independent Circuits.- Bibliography.

Transactions on Petri Nets and Other Models of Concurrency III

Автор: Jonathan Billington; Kurt Jensen; Maciej Koutny
Название: Transactions on Petri Nets and Other Models of Concurrency III
ISBN: 3642048544 ISBN-13(EAN): 9783642048548
Издательство: Springer
Рейтинг:
Цена: 65170.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This volume contains papers from the 29th International Conference on Application and Theory of Petri Nets and Other Models of Concurrency and from the 8th and 9th Workshops and Tutorials on Practical Use of Coloured Petri Nets and the CPN Tools.

Transactions on Petri Nets and Other Models of Concurrency II

Автор: Wil M. P. van der Aalst; Kurt Jensen
Название: Transactions on Petri Nets and Other Models of Concurrency II
ISBN: 3642008984 ISBN-13(EAN): 9783642008986
Издательство: Springer
Рейтинг:
Цена: 74530.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: These Transactions publish archival papers in the area of Petri nets and other models of concurrency, ranging from theoretical work to tool support and industrial applications. This second volume focuses on concurrency in process-aware information systems.

Application and Theory of Petri Nets 1999

Автор: Susanna Donatelli; Jetty Kleijn
Название: Application and Theory of Petri Nets 1999
ISBN: 3540661328 ISBN-13(EAN): 9783540661320
Издательство: Springer
Рейтинг:
Цена: 81050.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Twenty-one revised full papers present research results on all aspects of Petri nets as well as advanced applications in a variety of areas. There are three invited presentations.

Petri Net Synthesis

Автор: Eric Badouel; Luca Bernardinello; Philippe Daronde
Название: Petri Net Synthesis
ISBN: 3662479664 ISBN-13(EAN): 9783662479667
Издательство: Springer
Рейтинг:
Цена: 55890.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Introduction.- Introduction to Elementary Net Synthesis.- Other Forms of the Synthesis Problem.- Algorithms of Elementary Net Synthesis.- Variations of Elementary Net Synthesis.- A Unified Theory of Net Synthesis.- The Linear Algebraic Structure of Regions.- Synthesis of P/T-Nets from Finite Initialized Transition Systems.- Synthesis of Unbounded P/T-Nets.- P/T-Nets with the Step Firing Rule.- Extracting Concurrency from Transition Systems.- Process Discovery.- Supervisory Control.- Design of Speed Independent Circuits.- Bibliography.

Petri Net Algebra

Автор: Eike Best; Raymond Devillers; Maciej Koutny
Название: Petri Net Algebra
ISBN: 3642086772 ISBN-13(EAN): 9783642086779
Издательство: Springer
Рейтинг:
Цена: 153720.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The reason is that many commonly occurring phenomena and computer applications are highly con- current : typical examples include control systems, computer networks, digital hardware, business computing, and multimedia systems.

A Primer in Petri Net Design

Автор: Wolfgang Reisig
Название: A Primer in Petri Net Design
ISBN: 3642753310 ISBN-13(EAN): 9783642753312
Издательство: Springer
Рейтинг:
Цена: 102480.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Petri nets provide a formal framework for system modelingand validation which has proven to be very reliable inpractice. This book presents variousnet models appropriatefor designing specific systems, where systems are understoodvery generally as "organizational systems" in whichregulatedflows of objects and information are significant.

Lectures on Petri Nets I: Basic Models

Автор: Wolfgang Reisig; Grzegorz Rozenberg
Название: Lectures on Petri Nets I: Basic Models
ISBN: 3540653066 ISBN-13(EAN): 9783540653066
Издательство: Springer
Рейтинг:
Цена: 83810.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.

Application and Theory of Petri Nets 1996

Автор: Jonathan Billington; Wolfgang Reisig
Название: Application and Theory of Petri Nets 1996
ISBN: 3540613633 ISBN-13(EAN): 9783540613633
Издательство: Springer
Рейтинг:
Цена: 97820.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This text constitutes the refereed proceedings of the 17th International Conference on Application and Theory of Petri Nets, held in Osaka, Japan, in June 1996. It addresses the current theoretical and applicational aspects of the various types of petri nets.

Application and Theory of Petri Nets 1995

Автор: Giorgio DeMichelis; Michel Diaz
Название: Application and Theory of Petri Nets 1995
ISBN: 3540600299 ISBN-13(EAN): 9783540600299
Издательство: Springer
Рейтинг:
Цена: 83850.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This text contains the proceedings of the 16th International Conference on Application and Theory of Petri Nets. The papers document the progress achieved in this application-oriented area of research and development since the predecessor conference held in 1994.

Application and Theory of Petri Nets 1994

Автор: Robert Valette
Название: Application and Theory of Petri Nets 1994
ISBN: 3540581529 ISBN-13(EAN): 9783540581529
Издательство: Springer
Рейтинг:
Цена: 81050.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This volume of papers, originating from a Spanish conference on Petri nets, contains 28 contributions plus 3 invited essays providing a state-of-the-art review of research in the field.

Application and Theory of Petri Nets 1993

Автор: Marco Ajmone Marsan
Название: Application and Theory of Petri Nets 1993
ISBN: 3540568638 ISBN-13(EAN): 9783540568636
Издательство: Springer
Рейтинг:
Цена: 97820.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This volume contains the proceedings of the 14thInternational Conference onApplication and Theory of PetriNets. The aim of the Petri net conferences is to create aforum for discussing progress in the application and theoryof Petri nets. Silva), and "FSPNs: fluid stochasticPetri nets" (K.S.

Advances in Petri Nets 1990

Автор: Grzegorz Rozenberg
Название: Advances in Petri Nets 1990
ISBN: 3540538631 ISBN-13(EAN): 9783540538639
Издательство: Springer
Рейтинг:
Цена: 93160.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Part of a series of volumes which presents the results on Petri nets to the general computer science community, this work contains selected papers which present results that are the most representative and significant for the development of this area.


Казахстан, 010000 г. Астана, проспект Туран 43/5, НП2 (офис 2)
ТОО "Логобук" Тел:+7 707 857-29-98 ,+7(7172) 65-23-70 www.logobook.kz
Kaspi QR
   В Контакте     В Контакте Мед  Мобильная версия