800541
9780521465199
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]