4061303
9780521019453
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', published 0015 under ISBN 9780521019453 and ISBN 0521019451.
[read more]