Free Choice Petri Nets

— —

Jorg Desel (Humboldt-Universität zu Berlin) Javier Esparza (University of Edinburgh)

Free Choice Petri Nets

Jorg Desel (Humboldt-Universität zu Berlin), Javier Esparza (University of Edinburgh), C. J. Van Rijsbergen , S. Abramsky

$71.95

Paperback

Not in-store but you can order this
How long will it take?

Availability Information

We source books from suppliers in Australia and overseas. For books we don't currently have in stock, the time it takes to get them from our suppliers can vary widely - from a few days to a few months - so we check each book with each supplier to determine the expected time it will take to be supplied to us.

We then advise you accordingly. If the time taken to get any book is too long for you, you can let us know and we will cancel or adjust your order, and refund as required.

To find out the anticipated arrival time for specific items prior to ordering, please contact us by phone or email:

Phone +61 2 9264 3111, or 1800 4 BOOKS (1800 4 26657) if outside Sydney:
option 1 Abbey's Bookshop (Crime, History, Science, Kids & more) • info@abbeys.com.au
option 2 Language Book Centre (ESL & Foreign Languages) • language@abbeys.com.au
option 3 Galaxy Bookshop (Sci-fi, Fantasy, Romance, Graphic Novels) • sf@galaxybooks.com.au

QTY:

English

Cambridge University Press
08 September 2005

Mathematical logic; Mathematical theory of computation; Parallel processing

Series: Cambridge Tracts in Theoretical Computer Science

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.

By: Jorg Desel (Humboldt-Universität zu Berlin), Javier Esparza (University of Edinburgh)
Series edited by: C. J. Van Rijsbergen, S. Abramsky, P. H. Aczel
Imprint: Cambridge University Press
Country of Publication: United Kingdom
Volume: 40
Dimensions: Height: 245mm, Width: 170mm, Spine: 13mm
Weight: 414g
ISBN: 9780521019453
ISBN 10: 0521019451
Series: Cambridge Tracts in Theoretical Computer Science
Pages: 256
Publication Date: 08 September 2005
Audience: Professional and scholarly , Undergraduate
Format: Paperback
Publisher's Status: Active

Reviews for Free Choice Petri Nets

"""Desel and Esparza's book is interesting and well-written, and, to the best of my knowledge, it is the most recent and complete reference to free-choice Petri nets available....I would definitely recommend this book to anyone who is studying free-choice nets. They will discover a good overview of all the important results in the field over the past 20 years. I also recommend this book to researchers and practitioners interested in Petri nets, since they will probably increase their knowledge of this topic."" M. Pezze, Computing Reviews"