800541
9780521465199
Out of Stock
The item you're looking for is currently unavailable.
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.Desel, Jorg is the author of 'Free Choice Petri Nets' with ISBN 9780521465199 and ISBN 0521465192.
[read more]