Average customer rating:
- Good general overview of the field, but quite uneven
|
Petri Nets for Systems Engineering
Claude Girault , and
Rüdiger Valk
Manufacturer: Springer
ProductGroup: Book
Binding: Hardcover
 Software Development
| Software Design, Testing & Engineering
| Programming
| Computers & Internet
| Subjects
| Books
Logic
| Software Design, Testing & Engineering
| Programming
| Computers & Internet
| Subjects
| Books
Computer Mathematics
| Artificial Intelligence
| Computer Science
| Computers & Internet
| Subjects
| Books
Methodology
| Software Engineering
| Computer Science
| Computers & Internet
| Subjects
| Books
Systems Analysis & Design
| Computer Science
| Computers & Internet
| Subjects
| Books
General
| Computers & Internet
| Subjects
| Books
General
| Engineering
| Professional & Technical
| Subjects
| Books
Industrial Technology
| Industrial, Manufacturing & Operational Systems
| Engineering
| Professional & Technical
| Subjects
| Books
Mathematics
| Professional Science
| Professional & Technical
| Subjects
| Books
| Applied
| Chaos & Systems
| Geometry & Topology
| Mathematical Analysis
| Mathematical Physics
| Number Systems
| Pure Mathematics
| Transformations
| Trigonometry
General
| Mathematics
| Science
| Subjects
| Books
Logic
| Pure Mathematics
| Mathematics
| Science
| Subjects
| Books
Look Inside Computer Books
| Trip
| Specialty Stores
| Books
Look Inside Science Books
| Trip
| Specialty Stores
| Books
All Amazon Upgrade
| Amazon Upgrade
| Stores
| Books
Computers & Internet
| Amazon Upgrade
| Stores
| Books
Engineering
| Amazon Upgrade
| Stores
| Books
Professional & Technical
| Amazon Upgrade
| Stores
| Books
Science
| Amazon Upgrade
| Stores
| Books
All Titles
| Qualifying Textbooks - Fall 2007
| Stores
| Books
Computers & Internet
| Qualifying Textbooks - Fall 2007
| Stores
| Books
Professional
| Qualifying Textbooks - Fall 2007
| Stores
| Books
Science
| Qualifying Textbooks - Fall 2007
| Stores
| Books
Similar Items:
-
Stochastic Petri Nets
-
Petri Net Algebra
-
Elements of Distributed Algorithms: Modeling and Analysis with Petri Nets
-
The Pi-Calculus: A Theory of Mobile Processes
-
Model Checking
Accessories:
-
Pro SMS 2003
-
Grid Computing Security
-
Distributed Event-Based Systems
ASIN: 3540412174 |
Book Description
Formal methods for the specification and verification of hardware and software systems are becoming more and more important as systems increase in size and complexity. The aim of the book is to illustrate progress in formal methods, based on Petri net formalisms. It contains a collection of examples arising from different fields, such as flexible manufacturing, telecommunication and workflow management systems.
The book covers the main phases in the life cycle of design and implementation of a system, i.e., specification, model checking techniques for verification, analysis of properties, code generation, and execution of models. These techniques and their tool support are discussed in detail including practical issues. Amongst others, fundamental concepts such as composition, abstraction, and reusability of models, model verification, and verification of properties are systematically introduced.
Customer Reviews:
Good general overview of the field, but quite uneven.......2007-08-24
This book goes for breadth, in a very ambitious take on Petri nets: to cover the complete range of activities of systems engineering supported by nets, from modelling to verification to validation and execution, including case studies in application domains. All this in a complete, self-contained volume. And it mostly succeeds in giving a general view of the possible uses of Petri nets and the research areas related to these nets. So it may be useful to both practicioners and researchers.
The chapters are divided into parts, according to the many aspects investigated: Part I is on basic concepts of Petri nets, including its features, models, definitions and properties. Part II takes on modelling systems with Petri nets. Individual techniques and complete methods (e.g. state-based modelling and event-based modelling) are presented, and case studies analysed. Then, Part III includes four chapters about verification of Petri net models, presenting an array of different techniques and approaches: state-space-based model checking, structural methods, deductive logic-based methods and techniques based on process algebras. Finally, Part IV is about validation and execution of nets, including code generation from net models, and Part V showcases three application domains for the nets: manufacturing systems, workflow systems and telecommunications.
To cover all this ground in the subject of Petri nets, the book was written collectively by more than 20 authors; even some of the chapters are divided into sections written by different people. This naturally results in noticeable variations of style and quality between chapters, and even between sections in the same chapter. Although some effort was spent to try to integrate them better, some sections (and chapters) are quite convoluted and hard to understand, while others are very clear and informative. The notation and style of presentation also changes, but this is mostly not a problem, because chapters often tackle different problems. Also, most of the sections that are difficult to grasp include references that can be used to learn more about the subject. Some sections are really very superficial, covering only the major ideas involved in some technique or method, and sweeping most of the meaty details under the rug, to the references. Unfortunately, some sections don't include enough references to track the original work from which they're based.
Finally, a warning regarding the title: it seems mostly directed to practicioners, but actually includes a lot of material that can be classified as recent research, and so not thoroughly in the field. This is very valuable to a researcher on Petri nets, who can get in contact with a lot of the research on nets done elsewhere, but may be not directly useful to practicioners. Even so, users of Petri nets that are not very interested in research results may take from the book a general idea of tools and possibilities that can be used with net models in all the stages of systems design and execution.
For all readers, I believe this book is mostly useful as a collection of pointers to further research or experimentation.
Average customer rating:
|
Handbook of Graph Grammars and Computing by Graph Transformation: Applications, Languages and Tools
Manufacturer: World Scientific Publishing Company
ProductGroup: Book
Binding: Hardcover
General
| Science
| Subjects
| Books
Combinatorics
| Pure Mathematics
| Mathematics
| Science
| Subjects
| Books
Graph Theory
| Applied
| Mathematics
| Science
| Subjects
| Books
General
| Programming
| Computers & Internet
| Subjects
| Books
General
| Languages & Tools
| Programming
| Computers & Internet
| Subjects
| Books
Theory of Computing
| Artificial Intelligence
| Computer Science
| Computers & Internet
| Subjects
| Books
General
| Graphic Design
| Computers & Internet
| Subjects
| Books
General
| Computers & Internet
| Subjects
| Books
General
| Software
| Computers & Internet
| Subjects
| Books
Graph Theory
| Applied
| Mathematics
| Professional Science
| Professional & Technical
| Subjects
| Books
Combinatorics
| Pure Mathematics
| Mathematics
| Professional Science
| Professional & Technical
| Subjects
| Books
All Titles
| Qualifying Textbooks - Fall 2007
| Stores
| Books
Similar Items:
-
Handbook of Graph Grammars and Computing by Graph Transformation
ASIN: 9810240201 |
Book Description
Recent applications to biomolecular science and DNA computing have created a new audience for automata theory and formal languages. This is the only introductory book to cover such applications. It begins with a clear and readily understood exposition of the fundamentals that assumes only a background in discrete mathematics. The first five chapters give a gentle but rigorous coverage of basic ideas as well as topics not found in other texts at this level, including codes, retracts and semiretracts. Chapter 6 introduces combinatorics on words and uses it to describe a visually inspired approach to languages. The final chapter explains recently-developed language theory coming from developments in bioscience and DNA computing. With over 350 exercises (for which solutions are available), many examples and illustrations, this text will make an ideal contemporary introduction for students; others, new to the field, will welcome it for self-learning.
Book Description
This book constitutes the refereed proceedings of the international Joint Modular Languages Conference, JMLC 2006, held in Oxford, UK in September 2006.
The 23 revised full papers presented together with 2 invited lectures were carefully reviewed and selected from 36 submissions. The papers are organized in topical sections on languages, implementation and linking, formal and modelling, concurrency, components, performance, and case studies.
Book Description
Formal concept analysis has been developed as a field of applied mathematics based on the mathematization of concept and concept hierarchy. It thereby allows us to mathematically represent, analyze, and construct conceptual structures. The formal concept analysis approach has been proven successful in a wide range of application fields.
This book constitutes a comprehensive and systematic presentation of the state of the art of formal concept analysis and its applications. The first part of the book is devoted to foundational and methodological topics. The contributions in the second part demonstrate how formal concept analysis is successfully used outside of mathematics, in linguistics, text retrieval, association rule mining, data analysis, and economics. The third part presents applications in software engineering.
Average customer rating:
|
Formal Languages and Applications (Studies in Fuzziness and Soft Computing)
Manufacturer: Springer
ProductGroup: Book
Binding: Hardcover
General
| Engineering
| Professional & Technical
| Subjects
| Books
General
| Applied
| Mathematics
| Professional Science
| Professional & Technical
| Subjects
| Books
General
| Applied
| Mathematics
| Science
| Subjects
| Books
General
| Mathematics
| Science
| Subjects
| Books
General
| Programming
| Computers & Internet
| Subjects
| Books
General
| Languages & Tools
| Programming
| Computers & Internet
| Subjects
| Books
General
| Software
| Computers & Internet
| Subjects
| Books
General
| Arts & Photography
| Subjects
| Books
Look Inside Computer Books
| Trip
| Specialty Stores
| Books
All Amazon Upgrade
| Amazon Upgrade
| Stores
| Books
Arts & Photography
| Amazon Upgrade
| Stores
| Books
Computers & Internet
| Amazon Upgrade
| Stores
| Books
Engineering
| Amazon Upgrade
| Stores
| Books
Professional & Technical
| Amazon Upgrade
| Stores
| Books
Science
| Amazon Upgrade
| Stores
| Books
All Titles
| Qualifying Textbooks - Fall 2007
| Stores
| Books
Arts & Photography
| Qualifying Textbooks - Fall 2007
| Stores
| Books
Computers & Internet
| Qualifying Textbooks - Fall 2007
| Stores
| Books
Professional
| Qualifying Textbooks - Fall 2007
| Stores
| Books
Science
| Qualifying Textbooks - Fall 2007
| Stores
| Books
Accessories:
-
Intermediate Robot Building
-
Introduction to Evolutionary Computing (Natural Computing Series)
-
Artificial General Intelligence (Cognitive Technologies)
ASIN: 3540209077 |
Book Description
Formal Languages and Applications provides a comprehensive study-aid and self-tutorial for graduates students and researchers. The main results and techniques are presented in an readily accessible manner and accompanied by many references and directions for further research. This carefully edited monograph is intended to be the gateway to formal language theory and its applications, so it is very useful as a review and reference source of information in formal language theory.
Average customer rating:
- take Iterated Function Systems to a profounder level
|
Grammatical Picture Generation: A Tree-Based Approach (Texts in Theoretical Computer Science. An EATCS Series)
Frank Drewes
Manufacturer: Springer
ProductGroup: Book
Binding: Hardcover
Web Graphics
| Web Design
| Web Development
| Computers & Internet
| Subjects
| Books
Fractals
| Algorithms
| Programming
| Computers & Internet
| Subjects
| Books
General
| Graphic Design
| Computers & Internet
| Subjects
| Books
General
| Computers & Internet
| Subjects
| Books
General
| Software
| Computers & Internet
| Subjects
| Books
All Titles
| Qualifying Textbooks - Fall 2007
| Stores
| Books
Computers & Internet
| Qualifying Textbooks - Fall 2007
| Stores
| Books
ASIN: 354021304X |
Book Description
This book introduces the reader to the notions, the techniques, and the theory of grammatical picture generation, a research field focusing on formal systems that describe sets of pictures by means of syntactic rules. The book presents important types of picture generators, using a tree-based approach to stress their common algorithmic basis, the treatment influenced by the theory of computation, and the theory of formal languages in particular. It guides the reader through the basics of the tree-based approach on to dedicated chapters on line-drawing languages, collage grammars, iterated function systems, grid picture languages, languages of fractals, and languages of coloured collages, while presenting results about (un)decidable, NP-complete, or efficiently solvable problems, normal forms, hierarchies of language classes, and related phenomena. In support, the book contains detailed exercises throughout, and the software on the enclosed CD allows the reader to experiment with the picture generators explained in the text. The book is of interest to researchers and graduate students in computer science and mathematics who are engaged with the theory and practice of picture-generating systems.
Customer Reviews:
take Iterated Function Systems to a profounder level.......2007-04-23
In the early 90s, Michael Barnsley came out with a nifty book, Fractals Everywhere, that described the use of Iterated Function Systems to draw lovely fractal images. That text was readily understandable to anyone with an undergrad background in computer programming and maths. But did you ever wonder how deeply and far the idea of iterated functions could go?
One answer is in Drewes' book. It looks at pictures, and how these might be drawn using the concepts of grammar and trees in graph theory. An entire chapter expounds directly on iterated functions, and where they sit in this broader schema. Vast new vistas are opened. Using such concepts as a picture algebra to unify different viewpoints. Like Barnsley's book, there are numerous diagrams, including some pretty computer renderings.
Be warned, however, that Drewes writes for a more exclusive audience. The maths requires the equivalent of an honours level coursework in analysis. Along with knowing the theory of compilers and computer language grammars.
Average customer rating:
|
Abstract State Machines - Theory and Applications: International Workshop, ASM 2000 Monte Verita, Switzerland, March 19-24, 2000 Proceedings (Lecture Notes in Computer Science)
Manufacturer: Springer
ProductGroup: Book
Binding: Paperback
Computer Design
| Microprocessors & System Design
| Hardware
| Computers & Internet
| Subjects
| Books
Networks
| Networks, Protocols & APIs
| Networking
| Computers & Internet
| Subjects
| Books
General
| Artificial Intelligence
| Computer Science
| Computers & Internet
| Subjects
| Books
Machine Learning
| Artificial Intelligence
| Computer Science
| Computers & Internet
| Subjects
| Books
Theory of Computing
| Artificial Intelligence
| Computer Science
| Computers & Internet
| Subjects
| Books
Computer Mathematics
| Artificial Intelligence
| Computer Science
| Computers & Internet
| Subjects
| Books
Methodology
| Software Engineering
| Computer Science
| Computers & Internet
| Subjects
| Books
General
| Computers & Internet
| Subjects
| Books
General
| Languages & Tools
| Programming
| Computers & Internet
| Subjects
| Books
Logic
| Software Design, Testing & Engineering
| Programming
| Computers & Internet
| Subjects
| Books
General
| Software
| Computers & Internet
| Subjects
| Books
General
| Science
| Subjects
| Books
Logic
| Pure Mathematics
| Mathematics
| Science
| Subjects
| Books
General
| Medicine
| Subjects
| Books
Logic
| Pure Mathematics
| Mathematics
| Professional Science
| Professional & Technical
| Subjects
| Books
All Amazon Upgrade
| Amazon Upgrade
| Stores
| Books
Computers & Internet
| Amazon Upgrade
| Stores
| Books
Medicine
| Amazon Upgrade
| Stores
| Books
Professional & Technical
| Amazon Upgrade
| Stores
| Books
Science
| Amazon Upgrade
| Stores
| Books
All Titles
| Qualifying Textbooks - Fall 2007
| Stores
| Books
Computers & Internet
| Qualifying Textbooks - Fall 2007
| Stores
| Books
Medicine
| Qualifying Textbooks - Fall 2007
| Stores
| Books
Professional
| Qualifying Textbooks - Fall 2007
| Stores
| Books
Science
| Qualifying Textbooks - Fall 2007
| Stores
| Books
ASIN: 3540679596 |
Book Description
This book constitutes the thoroughly refereed post-proceedings of the International Workshop on Abstract State Machines, ASM 2000, held in Monte Verita, Switzerland in March 2000.The 12 revised full papers presented were carefully reviewed and selected from 30 submissions. Also included are an introductory overview, two reports on industrial ASM applications, as well as six contributions based on invited talks. All in all, the volume competently presents the state of the art in research and applications of abstract state machines.
Average customer rating:
|
Application and Theory of Petri Nets 2001
Manufacturer: Springer
ProductGroup: Book
Binding: Paperback
Software Development
| Software Design, Testing & Engineering
| Programming
| Computers & Internet
| Subjects
| Books
General
| Programming
| Computers & Internet
| Subjects
| Books
Theory of Computing
| Artificial Intelligence
| Computer Science
| Computers & Internet
| Subjects
| Books
Computer Mathematics
| Artificial Intelligence
| Computer Science
| Computers & Internet
| Subjects
| Books
General
| Computers & Internet
| Subjects
| Books
General
| Mathematics
| Science
| Subjects
| Books
Logic
| Pure Mathematics
| Mathematics
| Science
| Subjects
| Books
General
| Medicine
| Subjects
| Books
All Titles
| Qualifying Textbooks - Fall 2007
| Stores
| Books
Computers & Internet
| Qualifying Textbooks - Fall 2007
| Stores
| Books
Medicine
| Qualifying Textbooks - Fall 2007
| Stores
| Books
Science
| Qualifying Textbooks - Fall 2007
| Stores
| Books
ASIN: 3540422528 |
Book Description
This book constitutes the refereed proceedings of the 22nd International Conference on Application and Theory of Petri Nets, ICATPN 2001, held in Newcastle upon Tyne, UK in June 2001. The 19 revised full papers presented together with three invited papers were carefully reviewed and selected from 48 submissions. All current issues on research and development of Petri nets are addressed, in particular timed, stochastic, colored, symmetrical, and high-level Petri nets; formal verification, model checking, embedded systems, real-time systems, dependable computing, and state spaces.
Book Description
This book constitutes the refereed proceedings of the 9th International Conference on Artificial Intelligence: Methodology, Systems, and Applications, AIMSA 2000, held in Varna, Bulgaria in September 2000.The 34 revised full papers presented were carefully reviewed and selected from 60 submissions. The papers are organized in topical sections on knowledge construction, reasoning under certainty, reasoning under uncertainty, actors and agents, Web mining, natural language processing, complexity and optimization, fuzzy and neural systems, and algorithmic learning.
Books:
- Programming Ruby: The Pragmatic Programmers' Guide, Second Edition
- Programming the Boundary Element Method: An Introduction for Engineers
- Representation Theory: A First Course (Graduate Texts in Mathematics / Readings in Mathematics)
- Representation Theory of Semisimple Groups: An Overview Based on Examples. (PMS-36).
- Right-Brained Children in a Left-Brained World: Unlocking the Potential of Your Add Child
- Schaum's Outline of Advanced Mathematics for Engineers and Scientists
- Schaum's Outline of Statistics
- Scientific Computing
- Search Engine Optimization: An Hour a Day
- Search Engine Optimization: An Hour a Day
Books Index
Books Home
Recommended Books
- The Flyers: In Search of Wilbur and Orville Wright
- Steven Raichlen's Healthy Latin Cooking: 200 Sizzling Recipes from Mexico, Cuba, The Caribbean, Braz
- Meetings with the Archangel: A Comedy of the Spirit
- NIrV Discoverer's Bible for Young Readers
- Out With the Stars: Hollywood Nightlife in the Golden Era
- Practical Design and Production of Optical Thin Films, Second Edition,
- Rain Forests
- What Homebuyers Should Know about Buying a Home
- How to Succeed at Globalization: A Primer for Roadside Vendors
- Inside Argentina from Peron to Menem: 1950-2000 From an American Point of View
