 |
|
|
Item Details
| Title:
|
FREE CHOICE PETRI NETS
|
| By: |
Jorg Desel, Javier Esparza, C. J. Van Rijsbergen |
| Format: |
Paperback |
| List price:
|
£38.99 |
| Our price: |
£34.12 |
| Discount: |
|
| You save:
|
£4.87 |
|
|
|
|
|
| ISBN 10: |
0521019451 |
| ISBN 13: |
9780521019453 |
| Availability: |
Usually dispatched within 1-3 weeks.
 Delivery
rates
|
| Stock: |
Currently 0 available |
| Publisher: |
CAMBRIDGE UNIVERSITY PRESS |
| Pub. date: |
25 June, 2005 |
| Series: |
Cambridge Tracts in Theoretical Computer Science No. 40 |
| Pages: |
256 |
| Description: |
Petri nets are a model for the analysis of concurrent systems. |
| Synopsis: |
Petri nets are a popular and powerful formal model for the analysis and modelling of concurrent systems, and a rich theory has developed around them. Petri nets are taught to undergraduates, and also used by industrial practitioners. This book focuses on a particular class of petri nets, free choice petri nets, which play a central role in the theory. 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. The material is organised along the lines of a course book, and each chapter contains numerous exercises, making this book ideal for graduate students and research workers alike. |
| Illustrations: |
64 b/w illus. 10 exercises |
| Publication: |
UK |
| Imprint: |
Cambridge University Press |
| Returns: |
Returnable |
|
|
|
 |
|
|
|
|
|
Little Worried Caterpillar (PB)
Little Green knows she''s about to make a big change - transformingfrom a caterpillar into a beautiful butterfly. Everyone is VERYexcited! But Little Green is VERY worried. What if being a butterflyisn''t as brilliant as everyone says?Join Little Green as she finds her own path ... with just a littlehelp from her friends.
|
|
All the Things We Carry PB
What can you carry?A pebble? A teddy? A bright red balloon? A painting you''ve made?A hope or a dream?This gorgeous, reassuring picture book celebrates all the preciousthings we can carry, from toys and treasures to love and hope. With comforting rhymes and fabulous illustrations, this is a warmhug of a picture book.
|
|
|
|