|
|
libcats.org
A primer in Petri Net DesignWolfgang ReisigPetri nets provide a formal framework for system modeling and validation which has proven to be very reliable in practice. This book presents various net models appropriate for designing specific systems, where systems are understood very generally as ''organizational systems'' in which regulated flows of objects and information are significant. The models are interrelated in the sense that they have common interpretation patterns: together they can be understood as a method for specifying any given system or any section of such a system to any given degree of refinement. The simple and immediately understandable principles of system modelling with nets makes it possible to provide an illustrated description of this method without going into the mathematics behind it. The text is based on courses the author developed for project engineers and project managers in the area of embedded computer systems.
Популярные книги за неделю:
Система упражнений по развитию способностей человека (Практическое пособие)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Introduction to Functional Programming (Prentice Hall International Series in Computing Science)Автор: Richard Bird, Автор: Philip WadlerКатегория: Математика, Прикладная математика
Размер книги: 4.73 Mb
The Clean Coder: A Code of Conduct for Professional Programmers (Robert C. Martin Series)Автор: Robert C. Martin
Размер книги: 6.06 Mb
Только что пользователи скачали эти книги:
Programming Microsoft Visual Basic .NET for Microsoft Access DatabasesАвтор: Rick Dobson
Размер книги: 11.81 Mb
Spinoza and PoliticsАвтор: Etienne Balibar, Автор: Warren Montag, Автор: Peter SnowdonКатегория: science_books, philosophy
Размер книги: 13.61 Mb
Fashion, Costume and Culture / Vol.1-5. Modern World 1900 to 1945Автор: S. и T. Pendergast
Размер книги: 4.62 Mb
A Philosophical Guide to ConditionalsАвтор: Jonathan BennettКатегория: Общественные науки прочие, Философия
Размер книги: 1.52 Mb
The Correspondence of Dante Gabriel Rossetti: The Formative Years, 1835-1862: Charlotte Street to Cheyne Walk. II. 1855-1862 (Correspondence of Dante Gabriel ... (Correspondence of Dante Gabriel Rossetti)Автор: William E. Fredeman
Размер книги: 4.13 Mb
A Coursebook on Scientific and Professional Writing for Speech-Language Pathology, 4th editionАвтор: M.N. Hegde
Размер книги: 11.71 Mb
Multiple Dirichlet Series, L-functions and Automorphic FormsАвтор: Daniel Bump, Автор: Solomon Friedberg, Автор: Dorian GoldfeldКатегория: Mathematics
Размер книги: 8.97 Mb
|
|
|