Items related to Syntax and Semantics of Petri Nets: 63 (Cambridge Tracts...
Syntax and Semantics of Petri Nets: 63 (Cambridge Tracts in Theoretical Computer Science, Series Number 63) - Hardcover
Synopsis
A uniform presentation of the theories of sequential and distributed computation, using Petri nets as basic model.
"synopsis" may belong to another edition of this title.
About the Author
Roberto Gorrieri is Professor of Computer Science at the University of Bologna. His research interests include theory of concurrency and foundations of security. Gorrieri is author of two books 'Introduction to Concurrency Theory' (2015) and 'Process Algebras for Petri Nets' (2017) and editor of ten volumes, mainly about security foundations.
"About this title" may belong to another edition of this title.
Search results for Syntax and Semantics of Petri Nets: 63 (Cambridge Tracts...
Stock Image
Syntax and Semantics of Petri Nets
Published by
Cambridge University Press, 2025
ISBN 10: 1009613286
ISBN 13: 9781009613286
New
Hardcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 50004033-n
Stock Image
Syntax and Semantics of Petri Nets (Hardcover)
Published by
Cambridge University Press, Cambridge, 2025
ISBN 10: 1009613286
ISBN 13: 9781009613286
New
Hardcover
Seller: Grand Eagle Retail, Bensenville, IL, U.S.A.
Seller rating 5 out of 5 stars
Hardcover. Condition: new. Hardcover. 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. A modern look at Petri net theory, providing a uniform presentation of both theories of sequential and distributed computation. Introducing the theory step by step, this is a useful resource for graduate students and researchers engaged with the modeling, analysis, and verification of distributed communicating systems. This item is printed on demand. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. Seller Inventory # 9781009613286
Stock Image
Syntax and Semantics of Petri Nets (Cambridge Tracts in Theoretical Computer Science, Series Number 63)
Published by
Cambridge University Press, 2025
ISBN 10: 1009613286
ISBN 13: 9781009613286
New
Hardcover
Seller: California Books, Miami, FL, U.S.A.
Seller rating 4 out of 5 stars
Condition: New. Seller Inventory # I-9781009613286
Stock Image
Syntax and Semantics of Petri Nets
Published by
Cambridge University Press, 2025
ISBN 10: 1009613286
ISBN 13: 9781009613286
Used
Hardcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition. Seller Inventory # 50004033
Stock Image
Syntax and Semantics of Petri Nets (Cambridge Tracts in Theoretical Computer Science, Series Number 63)
Published by
Cambridge University Press, 2025
ISBN 10: 1009613286
ISBN 13: 9781009613286
New
Hardcover
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9781009613286_new
Buy New
£ 117.37
£ 11.98 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available
Stock Image
Syntax and Semantics of Petri Nets
Published by
Cambridge University Press, 2025
ISBN 10: 1009613286
ISBN 13: 9781009613286
New
Hardcover
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 50004033-n
Buy New
£ 117.36
£ 15 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available
Stock Image
Syntax and Semantics of Petri Nets
Published by
Cambridge University Press, 2025
ISBN 10: 1009613286
ISBN 13: 9781009613286
Used
Hardcover
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition. Seller Inventory # 50004033
Buy Used
£ 124.69
£ 15 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available
Stock Image
Syntax and Semantics of Petri Nets: 63 (Cambridge Tracts in Theoretical Computer Science, Series Number 63)
Published by
Cambridge University Press, 2025
ISBN 10: 1009613286
ISBN 13: 9781009613286
New
Hardcover
Seller: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Ireland
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # V9781009613286
Buy New
£ 139.33
£ 8.14 shipping
Ships from Ireland to U.S.A.
Ships from Ireland to U.S.A.
Quantity: Over 20 available
Stock Image
Syntax and Semantics of Petri Nets (Hardcover)
Published by
Cambridge University Press, Cambridge, 2025
ISBN 10: 1009613286
ISBN 13: 9781009613286
New
Hardcover
Seller: CitiRetail, Stevenage, United Kingdom
Seller rating 5 out of 5 stars
Hardcover. Condition: new. Hardcover. 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. A modern look at Petri net theory, providing a uniform presentation of both theories of sequential and distributed computation. Introducing the theory step by step, this is a useful resource for graduate students and researchers engaged with the modeling, analysis, and verification of distributed communicating systems. This item is printed on demand. Shipping may be from our UK warehouse or from our Australian or US warehouses, depending on stock availability. Seller Inventory # 9781009613286
Buy New
£ 125.99
£ 37 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 1 available
Stock Image
Syntax and Semantics of Petri Nets
Seller: Revaluation Books, Exeter, United Kingdom
Seller rating 5 out of 5 stars
Hardcover. Condition: Brand New. 279 pages. 6.00x0.69x9.00 inches. In Stock. Seller Inventory # x-1009613286
Buy New
£ 151.88
£ 12.50 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 2 available