Supervision of Petri Nets (Hardcover, 2001 ed.)

Supervision of Petri Nets presents supervisory control theory for Petri nets with a legal set as the control goal. Petri nets model discrete event systems - dynamic systems whose evolution is completely determined by the occurrence of discrete events. Control laws, which guarantee that the system meets a set of specifications in the presence of uncontrollable and unobservable events, are studied and constructed, using application areas such as automated manufacturing and transportation systems. Supervision of Petri Nets introduces a new and mathematically sound approach to the subject. Existing results are unified by proposing a general mathematical language that makes extensive use of order theoretical ideas, and numerous new results are described, including ready-to-use algorithms that construct supervisory control laws for Petri nets. Supervision of Petri Nets is an excellent reference for researchers, and may also be used as a supplementary text for advanced courses on control theory.

General

Imprint:	Springer
Country of origin:	Netherlands
Series:	The International Series on Discrete Event Dynamic Systems, 13
Release date:	2001
First published:	2001
Authors:	Geert Stremersch
Dimensions:	235 x 155 x 14mm (L x W x T)
Format:	Hardcover
Pages:	198
Edition:	2001 ed.
ISBN-13:	978-0-7923-7486-2
Categories:	Books > Science & Mathematics > Mathematics > Mathematical foundations > Mathematical logic
LSN:	0-7923-7486-X
Barcode:	9780792374862

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!