Verwandte Artikel zu Nonsequential Processes: A Petri Net View: 13 (Monographs...
Nonsequential Processes: A Petri Net View: 13 (Monographs in Theoretical Computer Science. An EATCS Series) - Softcover
Inhaltsangabe
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.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Reseña del editor
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.
Reseña del editor
The theory of the processes of concurrent systems is studied using partiallyordered sets. The study is based on Petri net theory. General properties of posets and their relations with properties of concurrent systems are examined.
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
Neu kaufen
Diesen Artikel anzeigen
EUR 52,05
EUR 3,41 für den Versand innerhalb von/der USA
Versandziele, Kosten & DauerWeitere beliebte Ausgaben desselben Titels
Suchergebnisse für Nonsequential Processes: A Petri Net View: 13 (Monographs...
Beispielbild für diese ISBN
Nonsequential Processes: A Petri Net View (Monographs in Theoretical Computer Science. An EATCS Series)
Anbieter: Lucky's Textbooks, Dallas, TX, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. Bestandsnummer des Verkäufers ABLIING23Mar3113020235170
Anzahl: Mehr als 20 verfügbar
Foto des Verkäufers
Nonsequential Processes : A Petri Net View
Anbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. Bestandsnummer des Verkäufers 18758385-n
Anzahl: 15 verfügbar
Beispielbild für diese ISBN
Nonsequential Processes (Paperback)
ISBN 10: 3642734855
ISBN 13: 9783642734854
Neu
Paperback
Anbieter: Grand Eagle Retail, Mason, OH, USA
Verkäuferbewertung 5 von 5 Sternen
Paperback. Zustand: new. Paperback. 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. 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. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. Bestandsnummer des Verkäufers 9783642734854
Anzahl: 1 verfügbar
Foto des Verkäufers
Nonsequential Processes : A Petri Net View
Anbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: As New. Unread book in perfect condition. Bestandsnummer des Verkäufers 18758385
Anzahl: 15 verfügbar
Beispielbild für diese ISBN
Nonsequential Processes: A Petri Net View (Monographs in Theoretical Computer Science. An EATCS Series)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. In. Bestandsnummer des Verkäufers ria9783642734854_new
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
Nonsequential Processes
Anbieter: Books Puddle, New York, NY, USA
Verkäuferbewertung 4 von 5 Sternen
Zustand: New. pp. 124. Bestandsnummer des Verkäufers 2654504251
Anzahl: 4 verfügbar
Beispielbild für diese ISBN
Nonsequential Processes
Print-on-DemandAnbieter: Majestic Books, Hounslow, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: 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. Bestandsnummer des Verkäufers 55055588
Anzahl: 4 verfügbar
Beispielbild für diese ISBN
Nonsequential Processes
Print-on-DemandAnbieter: Biblios, Frankfurt am main, HESSE, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. PRINT ON DEMAND pp. 124. Bestandsnummer des Verkäufers 1854504241
Anzahl: 4 verfügbar
Foto des Verkäufers
Nonsequential Processes
Print-on-DemandAnbieter: moluna, Greven, Deutschland
Verkäuferbewertung 4 von 5 Sternen
Zustand: 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. Bestandsnummer des Verkäufers 5069305
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
Nonsequential Processes: A Petri Net View (Monographs in Theoretical Computer Science. An Eatcs Series)
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Paperback. Zustand: Brand New. reprint edition. 121 pages. 9.50x5.80x0.40 inches. In Stock. Bestandsnummer des Verkäufers x-3642734855
Anzahl: 2 verfügbar