Store besparelser
Hurtig levering
Gemte
Log ind
0
Kurv
Kurv
Petri Nets for Systems Engineering
- A Guide to Modeling, Verification, and Applications
Engelsk Paperback
Petri Nets for Systems Engineering
- A Guide to Modeling, Verification, and Applications
Engelsk Paperback

811 kr
Tilføj til kurv
Sikker betaling
6 - 8 hverdage

Om denne bog
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.
Product detaljer
Sprog:
Engelsk
Sider:
607
ISBN-13:
9783642074479
Indbinding:
Paperback
Udgave:
ISBN-10:
3642074472
Udg. Dato:
15 dec 2010
Længde:
35mm
Bredde:
157mm
Højde:
234mm
Forlag:
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Oplagsdato:
15 dec 2010
Forfatter(e):
Kategori sammenhænge