Visit our Christmas Gift Finder
Click & Collect from 2 Hours
Last Christmas Delivery Dates
Free UK Standard Delivery on orders £20 and over Order in time for Christmas 18th December 2nd Class | 19th December 1st Class Free Click & Collect to shops From 2 hours of your order*
Stochastic Petri Nets: An Introduction to the Theory (Paperback)
  • Stochastic Petri Nets: An Introduction to the Theory (Paperback)
zoom

Stochastic Petri Nets: An Introduction to the Theory (Paperback)

(author), (author)
£72.00
Paperback 218 Pages / Published: 15/08/2002
  • Not available

This product is currently unavailable.

  • This item has been added to your basket
Any developer of discrete event systems knows that the most important quality of the final system is that it be functionally correct by exhibiting certain functionaL or qualitative properties decided upon as being important. Once assured that the system behaves correctly, it is also important that it is efficient in that its running cost is minimal or that it executes in optimum time or whatever performance measure is chosen. While functional correctness is taken for granted, the latter quantitative properties will often decide the success, or otherwise, of the system. Ideally the developer must be able to specify, design and implement his system and test it for both functional correctness and performance using only one for- malism. No such formalism exists as yet. In recent years the graphical version of the Specification and Description Language (SDL) has become very popular for the specification, design and partial implementation of discrete systems. The ability to test for functional correctness of systems specified in SDL is, however, limited to time consuming simulative executions of the specification and perfor- mance analysis is not directly possible. Petri nets, although graphical in format are somewhat tedious for specifying large complex systems but, on the other hand were developed exactly to test discrete, distributed systems for functional correctness. With a Petri net specification one can test, e. g. , for deadlock, live- ness and boundedness of the specified system.

Publisher: Friedrich Vieweg & Sohn Verlagsgesellschaft mbH
ISBN: 9783528155353
Number of pages: 218
Weight: 339 g
Dimensions: 210 x 148 x 12 mm
Edition: Softcover reprint of the original 2nd ed. 200

You may also be interested in...

Quadrivium
Added to basket
£16.99
Hardback
A Mind for Numbers
Added to basket
Logicomix
Added to basket
£16.99
General merchandise
The Signal and the Noise
Added to basket
£10.99   £8.99
Paperback
Maths in Minutes
Added to basket
Game Theory: A Very Short Introduction
Added to basket
Mental Arithmetic 4 Answers
Added to basket
Game Theory
Added to basket
£8.99
Paperback
How to Pass Higher Maths
Added to basket
Mental Arithmetic 6 Answers: No. 6
Added to basket
Mental Arithmetic 4
Added to basket
£3.50
Paperback
Mental Arithmetic 6
Added to basket
Chaos: A Very Short Introduction
Added to basket

Reviews

Please sign in to write a review

Your review has been submitted successfully.