Articoli correlati a Petri Nets for System Engineering: A Guide to Modeling,...
Sinossi
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.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Dalla quarta di copertina
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 of 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.
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
- EditoreSpringer Nature
- Data di pubblicazione2002
- ISBN 10 3540412174
- ISBN 13 9783540412175
- RilegaturaCopertina rigida
- LinguaInglese
- Numero di pagine607
- Contatto del produttorenon disponibile
Compra nuovo
Visualizza questo articolo
EUR 72,36
GRATIS per la spedizione da U.S.A. a Italia
Destinazione, tempi e costiRisultati della ricerca per Petri Nets for System Engineering: A Guide to Modeling,...
Foto dell'editore
Petri Nets for Systems Engineering. A Guide to Modeling, Verification, and Applications.
Editore:
Berlin/Heidelberg, Springer., 2003
ISBN 10: 3540412174
ISBN 13: 9783540412175
Antico o usato
Rilegato
Da: Universitätsbuchhandlung Herta Hold GmbH, Berlin, Germania
Valutazione del venditore 4 su 5 stelle
XVI, 607 p. Hardcover. Versand aus Deutschland / We dispatch from Germany via Air Mail. Einband bestoßen, daher Mängelexemplar gestempelt, sonst sehr guter Zustand. Imperfect copy due to slightly bumped cover, apart from this in very good condition. Stamped. Sprache: Englisch. Codice articolo 10618GB
Quantità: 1 disponibili
Foto dell'editore
Petri Nets for Systems Engineering: A Guide to Modeling, Verification, and Applications
Da: Anybook.com, Lincoln, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: Fair. This is an ex-library book and may have the usual library/used-book markings inside.This book has hardback covers. In fair condition, suitable as a study copy. No dust jacket. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,1100grams, ISBN:9783540412175. Codice articolo 9759036
Quantità: 1 disponibili
Foto dell'editore
Petri Nets for Systems Engineering: A Guide to Modeling, Verification, and Applications
Da: ThriftBooks-Atlanta, AUSTELL, GA, U.S.A.
Valutazione del venditore 5 su 5 stelle
Hardcover. Condizione: Very Good. No Jacket. May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less 2.3. Codice articolo G3540412174I4N00
Quantità: 1 disponibili
Foto dell'editore
Petri Nets For Systems Engineering
Da: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide. Codice articolo ABNR-274722
Quantità: 1 disponibili
Foto dell'editore
Petri Nets For Systems Engineering
Da: Basi6 International, Irving, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. Codice articolo ABEJUNE24-342356
Quantità: 1 disponibili
Foto dell'editore
Petri Nets For Systems Engineering
Da: Basi6 International, Irving, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. Codice articolo ABEJUNE24-267320
Quantità: 1 disponibili
Foto dell'editore
Petri Nets for Systems Engineering
Editore:
Springer (edition 2003), 2002
ISBN 10: 3540412174
ISBN 13: 9783540412175
Antico o usato
Rilegato
Da: BooksRun, Philadelphia, PA, U.S.A.
Valutazione del venditore 5 su 5 stelle
Hardcover. Condizione: Very Good. 2003. Ship within 24hrs. Satisfaction 100% guaranteed. APO/FPO addresses supported. Codice articolo 3540412174-8-1
Quantità: 1 disponibili
Foto dell'editore
Petri Nets for Systems Engineering
Da: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: Used. pp. 628. Codice articolo 26343633
Quantità: 1 disponibili
Immagini fornite dal venditore
Petri Nets for Systems Engineering
Editore:
Springer Berlin Heidelberg Nov 2002, 2002
ISBN 10: 3540412174
ISBN 13: 9783540412175
Nuovo
Rilegato
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
Valutazione del venditore 5 su 5 stelle
Buch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 624 pp. Englisch. Codice articolo 9783540412175
Quantità: 2 disponibili
Foto dell'editore
Petri Nets for Systems Engineering
Da: Majestic Books, Hounslow, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: Used. pp. 628 Illus. Codice articolo 7504270
Quantità: 1 disponibili