Syntax and Semantics of Petri Nets (Cambridge Tracts in Theoretical Computer Science, Series Number 63)

Gorrieri, Roberto

ISBN 10: 1009613286 ISBN 13: 9781009613286
Editore: Cambridge University Press, 2025
Usato hardcover

Da Books From California, Simi Valley, CA, U.S.A. Valutazione del venditore 4 su 5 stelle 4 stelle, Maggiori informazioni sulle valutazioni dei venditori

Venditore AbeBooks dal 14 agosto 2001

Questo articolo specifico non è più disponibile.
Visualizza gli articoli del venditore Crea un desiderata per articoli simili

Riguardo questo articolo

Descrizione:

Codice articolo mon0004016311

Segnala questo articolo

Riassunto:

A uniform presentation of the theories of sequential and distributed computation, using Petri nets as basic model.

Informazioni sull'autore: 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.

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

Dati bibliografici

Titolo: Syntax and Semantics of Petri Nets (...
Casa editrice: Cambridge University Press
Data di pubblicazione: 2025
Legatura: hardcover
Condizione: Good

I migliori risultati di ricerca su AbeBooks

Foto dell'editore

Gorrieri, Roberto
ISBN 10: 1009613286 ISBN 13: 9781009613286
Nuovo Rilegato

Da: GreatBookPrices, Columbia, MD, U.S.A.

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Condizione: New. Codice articolo 50004033-n

Contatta il venditore

Compra nuovo

EUR 139,64
Spedizione EUR 2,31
Spedito in U.S.A.

Quantità: Più di 20 disponibili

Aggiungi al carrello

Foto dell'editore

Gorrieri, Roberto
ISBN 10: 1009613286 ISBN 13: 9781009613286
Nuovo Rilegato

Da: Ria Christie Collections, Uxbridge, Regno Unito

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Condizione: New. In. Codice articolo ria9781009613286_new

Contatta il venditore

Compra nuovo

EUR 141,11
Spedizione EUR 13,98
Spedito da Regno Unito a U.S.A.

Quantità: Più di 20 disponibili

Aggiungi al carrello

Foto dell'editore

Roberto Gorrieri
ISBN 10: 1009613286 ISBN 13: 9781009613286
Nuovo Rilegato
Print on Demand

Da: Grand Eagle Retail, Bensenville, IL, U.S.A.

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Hardcover. Condizione: 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. Codice articolo 9781009613286

Contatta il venditore

Compra nuovo

EUR 142,03
Spedizione gratuita
Spedito in U.S.A.

Quantità: 1 disponibili

Aggiungi al carrello

Foto dell'editore

Gorrieri, Roberto
ISBN 10: 1009613286 ISBN 13: 9781009613286
Nuovo Rilegato

Da: California Books, Miami, FL, U.S.A.

Valutazione del venditore 4 su 5 stelle 4 stelle, Maggiori informazioni sulle valutazioni dei venditori

Condizione: New. Codice articolo I-9781009613286

Contatta il venditore

Compra nuovo

EUR 142,27
Spedizione gratuita
Spedito in U.S.A.

Quantità: Più di 20 disponibili

Aggiungi al carrello

Foto dell'editore

Gorrieri, Roberto
Editore: Cambridge Univ Pr, 2025
ISBN 10: 1009613286 ISBN 13: 9781009613286
Nuovo Rilegato
Print on Demand

Da: Revaluation Books, Exeter, Regno Unito

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Hardcover. Condizione: Brand New. 279 pages. 6.00x0.69x9.00 inches. In Stock. This item is printed on demand. Codice articolo __1009613286

Contatta il venditore

Compra nuovo

EUR 145,97
Spedizione EUR 14,59
Spedito da Regno Unito a U.S.A.

Quantità: 1 disponibili

Aggiungi al carrello

Foto dell'editore

Gorrieri, Roberto
ISBN 10: 1009613286 ISBN 13: 9781009613286
Antico o usato Rilegato

Da: GreatBookPrices, Columbia, MD, U.S.A.

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Condizione: As New. Unread book in perfect condition. Codice articolo 50004033

Contatta il venditore

Compra usato

EUR 146,15
Spedizione EUR 2,31
Spedito in U.S.A.

Quantità: Più di 20 disponibili

Aggiungi al carrello

Immagini fornite dal venditore

Roberto Gorrieri
ISBN 10: 1009613286 ISBN 13: 9781009613286
Nuovo Rilegato
Print on Demand

Da: preigu, Osnabrück, Germania

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Buch. Condizione: Neu. Syntax and Semantics of Petri Nets | Roberto Gorrieri | Buch | Englisch | 2025 | Cambridge University Press | EAN 9781009613286 | Verantwortliche Person für die EU: Libri GmbH, Europaallee 1, 36244 Bad Hersfeld, gpsr[at]libri[dot]de | Anbieter: preigu Print on Demand. Codice articolo 133998073

Contatta il venditore

Compra nuovo

EUR 146,70
Spedizione EUR 70,00
Spedito da Germania a U.S.A.

Quantità: 5 disponibili

Aggiungi al carrello

Foto dell'editore

Gorrieri, Roberto
ISBN 10: 1009613286 ISBN 13: 9781009613286
Nuovo Rilegato

Da: GreatBookPricesUK, Woodford Green, Regno Unito

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Condizione: New. Codice articolo 50004033-n

Contatta il venditore

Compra nuovo

EUR 151,46
Spedizione EUR 17,51
Spedito da Regno Unito a U.S.A.

Quantità: Più di 20 disponibili

Aggiungi al carrello

Foto dell'editore

Roberto Gorrieri
ISBN 10: 1009613286 ISBN 13: 9781009613286
Nuovo Rilegato
Print on Demand

Da: CitiRetail, Stevenage, Regno Unito

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Hardcover. Condizione: 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. Codice articolo 9781009613286

Contatta il venditore

Compra nuovo

EUR 151,47
Spedizione EUR 43,19
Spedito da Regno Unito a U.S.A.

Quantità: 1 disponibili

Aggiungi al carrello

Foto dell'editore

Gorrieri, Roberto
ISBN 10: 1009613286 ISBN 13: 9781009613286
Antico o usato Rilegato

Da: GreatBookPricesUK, Woodford Green, Regno Unito

Valutazione del venditore 5 su 5 stelle 5 stelle, Maggiori informazioni sulle valutazioni dei venditori

Condizione: As New. Unread book in perfect condition. Codice articolo 50004033

Contatta il venditore

Compra usato

EUR 153,19
Spedizione EUR 17,51
Spedito da Regno Unito a U.S.A.

Quantità: Più di 20 disponibili

Aggiungi al carrello

Vedi altre 8 copie di questo libro

Vedi tutti i risultati per questo libro