libcats.org
Главная

Petri Nets and Other Models of Concurrency - ICATPN 2007, 28 conf., ICATPN 2007

Обложка книги Petri Nets and Other Models of Concurrency - ICATPN 2007, 28 conf., ICATPN 2007

Petri Nets and Other Models of Concurrency - ICATPN 2007, 28 conf., ICATPN 2007

,

This book constitutes the refereed proceedings of the 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007, held in Siedlce, Poland, in June 2007.

The 22 revised full papers and 3 revised tool papers presented together with 5 invited papers were carefully reviewed and selected from a total of 70 submissions. All current issues on research and development in the area of Petri nets and modeling of concurrent systems are addressed, in particular system design and verification, analysis, synthesis, structure and behaviour of nets, net theory and relations, causality/partial order theory of concurrency, semantic Web, logical and algebraic calculi, symbolic net representation, tools for nets, experience reports and case studies, educational issues, higher-level net models, timed and stochastic nets, as well as standardization of nets.

EPUB | FB2 | MOBI | TXT | RTF
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Популярные книги за неделю:

Ключ к сверхсознанию

Автор:
Категория: Путь к себе
Размер книги: 309 Kb

Древо жизни

Автор:
Категория: Путь к себе
Размер книги: 1.70 Mb

Здоровье надо созидать

Автор:
Категория: Здоровье
Размер книги: 363 Kb
Только что пользователи скачали эти книги:

Василий Васильевич Ершов. Аэрофобия

Автор:
Размер книги: 434 Kb

Рабочая тетрадь 1 к учеб. Enjoy English 1

Автор:
Категория: society, lang, house, child
Размер книги: 4.53 Mb

Армии и битвы № 6

Автор:
Категория: Исторические
Размер книги: 32.97 Mb

Cooking for Geeks: Real Science, Great Hacks, and Good Food

Автор:
Размер книги: 7.87 Mb

Генетика. Учебное пособие.

Автор:
Категория: Генетика
Размер книги: 4.27 Mb