Understanding petri nets : (Record no. 3053)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 02950cam a22002415i 4500 |
| 003 - CONTROL NUMBER IDENTIFIER | |
| control field | OSt |
| 005 - DATE AND TIME OF LATEST TRANSACTION | |
| control field | 20201019175856.0 |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
| fixed length control field | 130703s2013 gw |||| o |||| 0|eng |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 9783662523070 |
| 040 ## - CATALOGING SOURCE | |
| Transcribing agency | |
| 082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER | |
| Classification number | 004.0151 |
| Item number | REI / B |
| 100 1# - MAIN ENTRY--PERSONAL NAME | |
| Personal name | Reisig, Wolfgang |
| Relator term | Author |
| 245 10 - TITLE STATEMENT | |
| Title | Understanding petri nets : |
| Remainder of title | modeling techniques, analysis methods, case studies |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. | |
| Place of publication, distribution, etc. | Berlin : |
| Name of publisher, distributor, etc. | Springer-Verlag, |
| Date of publication, distribution, etc. | ©2013 |
| 300 ## - PHYSICAL DESCRIPTION | |
| Extent | xxvi, 230 p. : |
| Other physical details | ill. (some col.) ; |
| Dimensions | 24.5 cm (Paperback) |
| 504 ## - BIBLIOGRAPHY, ETC. NOTE | |
| Bibliography, etc. note | Includes bibliographical references and index. |
| 520 ## - SUMMARY, ETC. | |
| Summary, etc. | With their intuitive graphical approach and expressive analysis techniques, Petri nets are suitable for a wide range of applications and teaching scenarios, and they have gained wide acceptance as a modeling technique in areas such as software design and control engineering. The core theoretical principles have been studied for many decades and there is now a comprehensive research literature that complements the extensive implementation experience. In this book the author presents a clear, thorough introduction to the essentials of Petri nets. He explains the core modeling techniques and analysis methods and he illustrates their usefulness with examples and case studies. Part I describes how to use Petri nets for modeling; all concepts are explained with the help of examples, starting with a generic, powerful model which is also intuitive and realistic. Part II covers the essential analysis methods that are specific to Petri nets, introducing techniques used to formulate key properties of system nets and algorithms for proving their validity. Part III presents case studies, each introducing new concepts, properties and analysis techniques required for very different modeling tasks. The author offers different paths among the chapters and sections: the elementary strand for readers who wish to study only elementary nets; the modeling strand for those who wish to study the modeling but not the analysis of systems; and finally the elementary models of the modeling strand for those interested in technically simple, but challenging examples and case studies. The author achieves an excellent balance between consistency, comprehensibility and correctness in a book of distinctive design. Among its characteristics, formal arguments are reduced to a minimum in the main text with many of the theoretical formalisms moved to an appendix, the explanations are supported throughout with fully integrated graphical illustrations, and each chapter ends with exercises and recommendations for further reading. The book is suitable for students of computer science and related subjects such as engineering, and for a broad range of researchers and practitioners. |
| 588 ## - SOURCE OF DESCRIPTION NOTE | |
| Source of description note | Description based on publisher-supplied MARC data. |
| 653 ## - INDEX TERM--UNCONTROLLED | |
| Uncontrolled term | Petri nets |
| 653 ## - INDEX TERM--UNCONTROLLED | |
| Uncontrolled term | Computer science--Mathematics |
| 653 ## - INDEX TERM--UNCONTROLLED | |
| Uncontrolled term | Software engineering |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
| Source of classification or shelving scheme | Dewey Decimal Classification |
| Koha item type | Book |
| Withdrawn status | Lost status | Source of classification or shelving scheme | Damaged status | Not for loan | Collection code | Home library | Current library | Date acquired | Source of acquisition | Cost, normal purchase price | Full call number | Barcode | Date last seen | Price effective from | Koha item type |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Dewey Decimal Classification | IIT - Dharwad | IIT - Dharwad | 19/10/2020 | Aditya Books (p) Ltd. | 4128.54 | 004.0151 REI / B | 4601 | 19/10/2020 | 19/10/2020 | Book |