Verwandte Artikel zu Syntax and Semantics of Petri Nets (Cambridge Tracts...
Inhaltsangabe
A uniform presentation of the theories of sequential and distributed computation, using Petri nets as basic model.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Über die Autorin bzw. den Autor
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.
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
Suchergebnisse für Syntax and Semantics of Petri Nets (Cambridge Tracts...
Beispielbild für diese ISBN
Syntax and Semantics of Petri Nets
Anbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. Bestandsnummer des Verkäufers 50004033-n
Neu kaufen
EUR 136,48
EUR 2,26 Versand
Versand innerhalb von USA
Versand innerhalb von USA
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
Syntax and Semantics of Petri Nets (Hardcover)
Verlag:
Cambridge University Press, Cambridge, 2025
ISBN 10: 1009613286
ISBN 13: 9781009613286
Neu
Hardcover
Anbieter: Grand Eagle Retail, Bensenville, IL, USA
Verkäuferbewertung 5 von 5 Sternen
Hardcover. Zustand: 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. Bestandsnummer des Verkäufers 9781009613286
Beispielbild für diese ISBN
Syntax and Semantics of Petri Nets (Cambridge Tracts in Theoretical Computer Science, Series Number 63)
Anbieter: California Books, Miami, FL, USA
Verkäuferbewertung 4 von 5 Sternen
Zustand: New. Bestandsnummer des Verkäufers I-9781009613286
Neu kaufen
EUR 139,31
Versand gratis
Versand innerhalb von USA
Versand innerhalb von USA
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
Syntax and Semantics of Petri Nets
Verlag:
Cambridge University Press, 2025
ISBN 10: 1009613286
ISBN 13: 9781009613286
Gebraucht
Hardcover
Anbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: As New. Unread book in perfect condition. Bestandsnummer des Verkäufers 50004033
Gebraucht kaufen
EUR 143,35
EUR 2,26 Versand
Versand innerhalb von USA
Versand innerhalb von USA
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
Syntax and Semantics of Petri Nets (Cambridge Tracts in Theoretical Computer Science, Series Number 63)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. In. Bestandsnummer des Verkäufers ria9781009613286_new
Neu kaufen
EUR 141,29
EUR 14,00 Versand
Versand von Vereinigtes Königreich nach USA
Versand von Vereinigtes Königreich nach USA
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
Syntax and Semantics of Petri Nets
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. Bestandsnummer des Verkäufers 50004033-n
Neu kaufen
EUR 141,28
EUR 17,53 Versand
Versand von Vereinigtes Königreich nach USA
Versand von Vereinigtes Königreich nach USA
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
Syntax and Semantics of Petri Nets: 63 (Cambridge Tracts in Theoretical Computer Science, Series Number 63)
Anbieter: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irland
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. Bestandsnummer des Verkäufers V9781009613286
Neu kaufen
EUR 157,80
EUR 9,50 Versand
Versand von Irland nach USA
Versand von Irland nach USA
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
Syntax and Semantics of Petri Nets
Verlag:
Cambridge University Press, 2025
ISBN 10: 1009613286
ISBN 13: 9781009613286
Gebraucht
Hardcover
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: As New. Unread book in perfect condition. Bestandsnummer des Verkäufers 50004033
Gebraucht kaufen
EUR 150,10
EUR 17,53 Versand
Versand von Vereinigtes Königreich nach USA
Versand von Vereinigtes Königreich nach USA
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
Syntax and Semantics of Petri Nets (Hardcover)
Verlag:
Cambridge University Press, Cambridge, 2025
ISBN 10: 1009613286
ISBN 13: 9781009613286
Neu
Hardcover
Anbieter: CitiRetail, Stevenage, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Hardcover. Zustand: 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. Bestandsnummer des Verkäufers 9781009613286
Neu kaufen
EUR 151,67
EUR 43,24 Versand
Versand von Vereinigtes Königreich nach USA
Versand von Vereinigtes Königreich nach USA
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Syntax and Semantics of Petri Nets: 63 (Cambridge Tracts in Theoretical Computer Science)
Anbieter: Books Puddle, New York, NY, USA
Verkäuferbewertung 4 von 5 Sternen
Zustand: New. Bestandsnummer des Verkäufers 26403858739
Neu kaufen
EUR 191,88
EUR 3,42 Versand
Versand innerhalb von USA
Versand innerhalb von USA
Anzahl: 4 verfügbar