0 item sold

Petri Nets For Systems Engineering

126.31 New In stock Publisher: Springer
SKU: DADAX3540412174
ISBN : 9783540412175
Price:
$126.31

Domestic Shipping:$3.99
Qty:
   - OR -   

Petri Nets for Systems Engineering

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.

Specification of Petri Nets for Systems Engineering

GENERAL
AuthorClaude Girault
BindingHardcover
LanguageEnglish
Edition2003
ISBN-103540412174
ISBN-139783540412175
PublisherSpringer
Publication Year2002
DIMENSIONS
Height9.21 inch.
Length1.44 inch.
Width6.14 inch.
Weight2.25 pounds.

Write a review


Your Name:


Your Email:


Your Review:

Note: HTML is not translated!

Rating: Bad           Good

Enter the code in the box below: