Articoli correlati a Nonsequential Processes: A Petri Net View: 13
Sinossi
The theory of Petri nets is a part of computer science whose importance is increasingly acknowledged. Many papers and anthologies, whose subject matter is net theory and its applications, have appeared to date. There exist at least seven introductory textbooks on the theory. The present monograph augments this literature by offering a mathematical treatment of one of the central aspects of net theory: the modelling of concur rency by partially ordered sets. Occurrence nets - which are special nets as well as special partial orders - are proposed by net theory for this purpose. We study both the general properties of occurrence nets and their use in describing the concurrent behaviour of systems. Occurrence nets may be contrasted with a more language-oriented approach to the modelling of concurrency known as arbitrary interleaving. We will dis cuss some connections between these' two approaches. Other approaches based on partially ordered sets - such as the theory of traces, the theory of event structures and the theory of semi words - are not considered in this book, in spite of the strong links between them and net theory.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Contenuti
1 Introduction.- 2 Partially Ordered Sets.- 2.1 Introduction and Basic Definitions.- 2.2 Combinatorialness and Discreteness.- 2.3 N-density and K-density.- 2.4 D-continuity.- 2.5 Occurrence Posets.- 3 Petri Nets.- 3.1 Nets and Markings.- 3.2 Transition Rule and Occurrence Sequences.- 3.3 Occurrence Nets and Processes.- 3.4 Inductive Definition of Processes.- 3.5 Systems of Finite Synchronisation.- 4 Connections Between Systems and Processes.- 4.1 Introduction.- 4.2 K-density and Safeness.- 4.3 D-continuity and Frozen Tokens.- 4.4 A Closing Remark on Finite 1-safe Nets.- Bibliographical Notes.- Notation and Terminology.- Index of Definitions.
Product Description
Book by Best Eike Fernandez C Cesar
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
Compra nuovo
Visualizza questo articolo
EUR 48,37
EUR 9,70 per la spedizione da Germania a Italia
Destinazione, tempi e costiAltre edizioni note dello stesso titolo
Risultati della ricerca per Nonsequential Processes: A Petri Net View: 13
Immagini fornite dal venditore
Nonsequential Processes
Print on DemandDa: moluna, Greven, Germania
Valutazione del venditore 5 su 5 stelle
Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. The theory of Petri nets is a part of computer science whose importance is increasingly acknowledged. Many papers and anthologies, whose subject matter is net theory and its applications, have appeared to date. There exist at least seven introductory textbo. Codice articolo 5069305
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Nonsequential Processes : A Petri Net View
Editore:
Springer Berlin Heidelberg, 2011
ISBN 10: 3642734855
ISBN 13: 9783642734854
Nuovo
Taschenbuch
Da: AHA-BUCH GmbH, Einbeck, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - The theory of Petri nets is a part of computer science whose importance is increasingly acknowledged. Many papers and anthologies, whose subject matter is net theory and its applications, have appeared to date. There exist at least seven introductory textbooks on the theory. The present monograph augments this literature by offering a mathematical treatment of one of the central aspects of net theory: the modelling of concur rency by partially ordered sets. Occurrence nets - which are special nets as well as special partial orders - are proposed by net theory for this purpose. We study both the general properties of occurrence nets and their use in describing the concurrent behaviour of systems. Occurrence nets may be contrasted with a more language-oriented approach to the modelling of concurrency known as arbitrary interleaving. We will dis cuss some connections between these' two approaches. Other approaches based on partially ordered sets - such as the theory of traces, the theory of event structures and the theory of semi words - are not considered in this book, in spite of the strong links between them and net theory. Codice articolo 9783642734854
Quantità: 1 disponibili
Immagini fornite dal venditore
Nonsequential Processes
ISBN 10: 3642734855
ISBN 13: 9783642734854
Nuovo
Taschenbuch
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -The theory of Petri nets is a part of computer science whose importance is increasingly acknowledged. Many papers and anthologies, whose subject matter is net theory and its applications, have appeared to date. There exist at least seven introductory textbooks on the theory. The present monograph augments this literature by offering a mathematical treatment of one of the central aspects of net theory: the modelling of concur rency by partially ordered sets. Occurrence nets - which are special nets as well as special partial orders - are proposed by net theory for this purpose. We study both the general properties of occurrence nets and their use in describing the concurrent behaviour of systems. Occurrence nets may be contrasted with a more language-oriented approach to the modelling of concurrency known as arbitrary interleaving. We will dis cuss some connections between these' two approaches. Other approaches based on partially ordered sets - such as the theory of traces, the theory of event structures and the theory of semi words - are not considered in this book, in spite of the strong links between them and net theory.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 124 pp. Englisch. Codice articolo 9783642734854
Quantità: 1 disponibili
Foto dell'editore
Nonsequential Processes: A Petri Net View (Monographs in Theoretical Computer Science. An EATCS Series)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. In. Codice articolo ria9783642734854_new
Quantità: Più di 20 disponibili
Foto dell'editore
Nonsequential Processes
Da: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: New. pp. 124. Codice articolo 2654504251
Quantità: 4 disponibili
Foto dell'editore
Nonsequential Processes: A Petri Net View (Monographs in Theoretical Computer Science. An Eatcs Series)
Da: Revaluation Books, Exeter, Regno Unito
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: Brand New. reprint edition. 121 pages. 9.50x5.80x0.40 inches. In Stock. Codice articolo x-3642734855
Quantità: 2 disponibili
Foto dell'editore
Nonsequential Processes
Print on DemandDa: Majestic Books, Hounslow, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. Print on Demand pp. 124 44 Figures, 67:B&W 6.69 x 9.61 in or 244 x 170 mm (Pinched Crown) Perfect Bound on White w/Gloss Lam. Codice articolo 55055588
Quantità: 4 disponibili
Foto dell'editore
Nonsequential Processes
Print on DemandDa: Biblios, Frankfurt am main, HESSE, Germania
Valutazione del venditore 5 su 5 stelle
Condizione: New. PRINT ON DEMAND pp. 124. Codice articolo 1854504241
Quantità: 4 disponibili
Foto dell'editore
Nonsequential Processes: A Petri Net View (Monographs in Theoretical Computer Science. An EATCS Series)
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo ABLIING23Mar3113020235170
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Nonsequential Processes
Editore:
Springer Berlin Heidelberg Dez 2011, 2011
ISBN 10: 3642734855
ISBN 13: 9783642734854
Nuovo
Taschenbuch
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The theory of Petri nets is a part of computer science whose importance is increasingly acknowledged. Many papers and anthologies, whose subject matter is net theory and its applications, have appeared to date. There exist at least seven introductory textbooks on the theory. The present monograph augments this literature by offering a mathematical treatment of one of the central aspects of net theory: the modelling of concur rency by partially ordered sets. Occurrence nets - which are special nets as well as special partial orders - are proposed by net theory for this purpose. We study both the general properties of occurrence nets and their use in describing the concurrent behaviour of systems. Occurrence nets may be contrasted with a more language-oriented approach to the modelling of concurrency known as arbitrary interleaving. We will dis cuss some connections between these' two approaches. Other approaches based on partially ordered sets - such as the theory of traces, the theory of event structures and the theory of semi words - are not considered in this book, in spite of the strong links between them and net theory. 124 pp. Englisch. Codice articolo 9783642734854
Quantità: 2 disponibili