| book details |

Petri Net Primer: A Compendium on the Core Model, Analysis, and Synthesis

By (author) Eike Best, By (author) Raymond Devillers

| on special |

normal price: R 2 741.95

Price: R 2 467.95

| add to trolley |

| book description |

Petri nets model concurrent and distributed systems where active components communicate through the production and absorption of various kinds of resources.Â Although the dynamic properties of such systems may be very complex, they may sometimes be connected to the static structure of a Petri net. Many properties are decidable, but their complexity may be huge. It is often opportune to restrict oneself to classes of systems, to partial algorithms, and to similar but simpler properties. Instead of analysing a given system, it is also possible to search for a system satisfying some desired properties by construction.Â This comprehensive textbook/reference presents and discusses these issues in-depth in the context of one of the most fundamental Petri net models, called place/transition nets. The presentation is fortified by means of many examples and worked exercises.Â Among topics addressed:Â â€¢ In which order may actions may be generated and scheduled?Â â€¢ What states and configurations may be reached in a concurrent system?Â â€¢ Which interesting classes of systems can be analysed relatively efficiently?Â â€¢ Is it possible to synthesise a system of some class from its behaviour?Â â€¢ How can systems be represented algebraically, compositionally, and concisely?Â This unique text, based on introductory as well as on advanced courses on distributed systems, will serve as an invaluable guide for students and (future) researchers interested in theoreticalâ€”as well as in practicalâ€”aspects of Petri nets and related system models.Â Eike BestÂ has been a full professor (now retired) affiliated to Carl von Ossietzky UniversitÃ¤t Oldenburg, Germany.Â Raymond DevillersÂ has been a full professor (now retired) affiliated to UniversitÃ© Libre de Bruxelles, Belgium. The authors have a long record as collaborators in the fields of Petri nets and the semantics of concurrency.

| product details |

| other options |

| back |

| your trolley |

To view the items in your trolley please sign in.

| sign in |

| specials |

The Memory Collectors: A Novel

Dete Meserve
Paperback / softback
320 pages

Enquiries only

| more |

| enquire |

Survive the AI Apocalypse: A guide for solutionists

Bronwyn Williams
Paperback / softback
232 pages
was: R 340.95
now: R 306.95
Forthcoming

Look around you is anything real or normal any more? News, images and videos created by AI are everywhere.

| more |

| add to trolley |

The Colonialist: The Vision of Cecil Rhodes

William Kelleher Storey
Paperback / softback
528 pages
was: R 425.95
now: R 382.95
Usually dispatched in 6-12 days

This first comprehensive biography of Cecil Rhodes in a generation illuminates Rhodesâ€™s vision for the expansion of imperialism in southern Africa, connecting politics and industry to internal development, and examines how this fueled a lasting, white-dominated colonial society.

| more |

| add to trolley |

The Coming Wave: AI, Power and Our Future

Mustafa Suleyman
Paperback / softback
352 pages
was: R 295.95
now: R 265.95
Stock is usually dispatched in 6-12 days from date of order

| more |

| add to trolley |