Free Choice Petri Nets - Cambridge Tracts in Theoretical Computer Science - Desel, Jorg (Humboldt-Universitat zu Berlin) - Books - Cambridge University Press - 9780521019453 - September 8, 2005
In case cover and title do not match, the title is correct

Free Choice Petri Nets - Cambridge Tracts in Theoretical Computer Science

Desel, Jorg (Humboldt-Universitat zu Berlin)

Price
Ft 20,898

Ordered from remote warehouse

Expected delivery Jul 28 - Aug 6
Add to your iMusic wish list

Free Choice Petri Nets - Cambridge Tracts in Theoretical Computer Science

Petri nets are a popular and powerful formal model for the analysis and modelling of concurrent systems. The text is very clearly organised, with every notion carefully explained and every result proved. Clear exposition is given for place invariants, siphons, traps and many other important analysis techniques.


256 pages, 64 b/w illus. 10 exercises

Media Books     Paperback Book   (Book with soft cover and glued back)
Released September 8, 2005
ISBN13 9780521019453
Publishers Cambridge University Press
Pages 256
Dimensions 242 × 168 × 25 mm   ·   440 g
Language English  
Series Editor Abramsky, S.
Series Editor Aczel, P. H.
Series Editor Bakker, J. W. De
Series Editor Gurevich, Y.
Series Editor Tucker, J. V.
Series Editor Van Rijsbergen, C. J.

Show all

More by Desel, Jorg (Humboldt-Universitat zu Berlin)