FREE delivery to all EXCLUSIVE BOOKS stores nationwide. FREE delivery to your door on all orders over R450. Excludes all international deliveries.

Petri Nets for Systems Engineering

Claude Girault
    Product form
      FORMAT: Hardback

      R 4,030.00 Price and availability exclusive to website

      YOU COULD EARN 4,030 FUTURE RETAIL DISCOUNTS.
      ESTIMATED DELIVERY: Approx. 20 - 30 Business Days
      BUY NOW PAY LATER
      From R 671.66 per month!
      3x monthly payments of R 1,343.33 with
      4x fortnightly payments of R 1,007.50 with
      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.
      Format: Hardback CONTRIBUTORS: Claude Girault EAN: 9783540412175 COUNTRY: Germany PAGES: WEIGHT: 2320 g HEIGHT: 235 cm
      PUBLISHED BY: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG DATE PUBLISHED: 2002-11-13 CITY: GENRE: COMPUTERS / Machine Theory, COMPUTERS / Programming / General, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Networking / Hardware, TECHNOLOGY & ENGINEERING / Telecommunications WIDTH: 155 cm SPINE:

      Book Themes:

      Business mathematics and systems, Communications engineering / telecommunications, Business applications, Network hardware, Software Engineering, Mathematical theory of computation

      Customer Reviews

      Be the first to write a review
      0%
      (0)
      0%
      (0)
      0%
      (0)
      0%
      (0)
      0%
      (0)
      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.
      Format: Hardback CONTRIBUTORS: Claude Girault EAN: 9783540412175 COUNTRY: Germany PAGES: WEIGHT: 2320 g HEIGHT: 235 cm
      PUBLISHED BY: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG DATE PUBLISHED: 2002-11-13 CITY: GENRE: COMPUTERS / Machine Theory, COMPUTERS / Programming / General, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Networking / Hardware, TECHNOLOGY & ENGINEERING / Telecommunications WIDTH: 155 cm SPINE:

      Book Themes:

      Business mathematics and systems, Communications engineering / telecommunications, Business applications, Network hardware, Software Engineering, Mathematical theory of computation

      Customer Reviews

      Be the first to write a review
      0%
      (0)
      0%
      (0)
      0%
      (0)
      0%
      (0)
      0%
      (0)

      Recently viewed products

      Login

      Forgot your password?

      Don't have an account yet?
      Create account