1 option
Syntax and semantics of Petri nets / Roberto Gorrieri.
- Format:
- Book
- Author/Creator:
- Gorrieri, Roberto, author.
- Series:
- Cambridge tracts in theoretical computer science ; 63.
- Cambridge tracts in theoretical computer science ; 63
- Language:
- English
- Subjects (All):
- Petri nets.
- Physical Description:
- 1 online resource (ix, 270 pages) : illustrations.
- Place of Publication:
- Cambridge, United Kingdom ; New York, NY : Cambridge University Press, 2025.
- Summary:
- "Petri nets are one of the most popular tools for modeling distributed systems. This book provides a modern look at the theory behind them, by studying three classes of nets that model (i) sequential systems, (ii) non-communicating parallel systems, and (iii) communicating parallel systems. A decidable and causality respecting behavioral equivalence is presented for each class, followed by a modal logic characterization for each equivalence. The author then introduces a suitable process algebra for the corresponding class of nets and proves that the behavioral equivalence proposed for each class is a congruence for the operator of the corresponding process algebra. Finally, an axiomatization of the behavioral congruence is proposed. The theory is introduced step by step, with ordinary-language explanations and examples provided throughout, to remain accessible to readers without specialized training in concurrency theory or formal logic. Exercises with solutions solidify understanding, and the final chapter hints at extensions of the theory"-- Provided by publisher.
- Contents:
- Sequential systems
- Non-communicating parallel systems
- Communicating systems
- Other equivalences for petri nets.
- Notes:
- Includes bibliographical references and index.
- Description based on online resource; title from digital title page (viewed on September 15, 2025).
- Other Format:
- Print version: Gorrieri, Roberto. Syntax and semantics of Petri nets
- ISBN:
- 9781009613293
- 1009613294
- 9781009613316
- 1009613316
- OCLC:
- 1529915555
- Access Restriction:
- Restricted for use by site license
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.