Petri Nets for Systems Engineering - A Guide to Modeling, Verification, and Applications (Paperback, Softcover reprint of hardcover 1st ed. 2003)

Using formal methods for the specification and verification of hardware and software systems is becoming increasingly 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 presents both practical and theoretical foundations for the use of Petri nets in complex system engineering tasks. In doing so it bridges the gap between Petri nets and the systems modeling and implementation process. It contains a collection of examples arising from different fields, such as flexible manufacturing, telecommunication and workflow management systems.

General

Imprint:	Springer-Verlag
Country of origin:	Germany
Release date:	December 2010
First published:	2003
Authors:	Claude Girault • Rudiger Valk
Dimensions:	235 x 155 x 35mm (L x W x T)
Format:	Paperback
Pages:	607
Edition:	Softcover reprint of hardcover 1st ed. 2003
ISBN-13:	978-3-642-07447-9
Categories:	Books > Computing & IT > General theory of computing > General Books > Computing & IT > Computer programming > Software engineering Books > Computing & IT > Internet > Network computers Books > Computing & IT > Applications of computing > General Books > Business & Economics > Business & management > Business mathematics & systems > General Books > Professional & Technical > Electronics & communications engineering > Communications engineering / telecommunications > General
LSN:	3-642-07447-2
Barcode:	9783642074479

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!