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.
Click on a subject to see other books listed with the same
subject or to drill down into components of the subject -- such as
geographical locations, dates and so on.
We query many merchants so that you can instantly
compare prices and
availability. You can even check historic prices and subscribe
for notifications. For a manual check, clicking on a link will open a
new window with a search for this book on the merchant's site of your
choice.
