- 3 Ergebnisse
Kleinster Preis: € 74,89, größter Preis: € 74,96, Mittelwert: € 74,94
1
Application and Theory of Petri Nets 1995 - Giorgio DeMichelis; Michel Diaz
Bestellen
bei Springer.com
€ 74,89
Versand: € 0,001
Bestellengesponserter Link
Giorgio DeMichelis; Michel Diaz:

Application and Theory of Petri Nets 1995 - neues Buch

ISBN: 9783540494089

This book constitutes the proceedings of the 16th International Conference on Application and Theory of Petri Nets, held in Torino, Italy in June 1995 The 26 revised refereed papers prese… Mehr…

new in stock. Versandkosten:zzgl. Versandkosten. (EUR 0.00)
2
Application and Theory of Petri Nets 1995 - Giorgio DeMichelis; Michel Diaz
Bestellen
bei Springer.com
€ 74,96
Bestellengesponserter Link

Giorgio DeMichelis; Michel Diaz:

Application and Theory of Petri Nets 1995 - neues Buch

ISBN: 9783540494089

Computer Science; Computation by Abstract Devices; Computer System Implementation; Mathematical Logic and Foundations; Algorithm Analysis and Problem Complexity; Logics and Meanings of Pr… Mehr…

  - Versandkosten:zzgl. Versandkosten
3
Application and Theory of Petri Nets 1995 - Giorgio DeMichelis; Michel Diaz
Bestellen
bei Springer.com
€ 74,96
Bestellengesponserter Link
Giorgio DeMichelis; Michel Diaz:
Application and Theory of Petri Nets 1995 - neues Buch

ISBN: 9783540494089

Computer Science; Computation by Abstract Devices; Computer System Implementation; Mathematical Logic and Foundations; Algorithm Analysis and Problem Complexity; Logics and Meanings of Pr… Mehr…

  - Versandkosten:zzgl. Versandkosten.

1Da einige Plattformen keine Versandkonditionen übermitteln und diese vom Lieferland, dem Einkaufspreis, dem Gewicht und der Größe des Artikels, einer möglichen Mitgliedschaft der Plattform, einer direkten Lieferung durch die Plattform oder über einen Drittanbieter (Marketplace), etc. abhängig sein können, ist es möglich, dass die von eurobuch angegebenen Versandkosten nicht mit denen der anbietenden Plattform übereinstimmen.

Bibliographische Daten des bestpassenden Buches

Details zum Buch

Detailangaben zum Buch - Application and Theory of Petri Nets 1995


EAN (ISBN-13): 9783540494089
Herausgeber: Springer Science+Business Media

Buch in der Datenbank seit 2017-06-04T10:43:49+02:00 (Berlin)
Detailseite zuletzt geändert am 2021-09-16T12:32:17+02:00 (Berlin)
ISBN/EAN: 9783540494089

ISBN - alternative Schreibweisen:
978-3-540-49408-9
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: diaz diaz, michel


Daten vom Verlag:

Autor/in: Giorgio DeMichelis; Michel Diaz
Titel: Lecture Notes in Computer Science; Application and Theory of Petri Nets 1995 - 16th International Conference, Torino, Italy, June 26 - 30, 1995. Proceedings
Verlag: Springer; Springer Berlin
518 Seiten
Erscheinungsjahr: 2005-07-08
Berlin; Heidelberg; DE
Sprache: Englisch
53,49 € (DE)
55,00 € (AT)
59,00 CHF (CH)
Available
X, 518 p.

EA; E107; eBook; Nonbooks, PBS / Informatik, EDV/Informatik; Theoretische Informatik; Verstehen; Colored Petri Nets; Distributed Computing; Petri Net Application; Petri Nets; Petri-Netz Anwendungen; Petri-Netze; Stochastic Petri Nets; Stochastische Petri-Netze; algorithm; algorithms; gefärbte Petri-Netze; model checking; petri net; semantics; verification; algorithm analysis and problem complexity; C; Theory of Computation; Computer System Implementation; Mathematical Logic and Foundations; Algorithms; Computer Science Logic and Foundations of Programming; Processor Architectures; Computer Science; Systemanalyse und -design; Mathematik: Logik; Mathematische Grundlagen; Algorithmen und Datenstrukturen; Rechnerarchitektur und Logik-Entwurf; BC

A refined view of the box algebra.- Distributed algorithms and causally consistent observations (abstract).- Petri Nets for information systems modelling.- On liveness in Extended Non Self-Controlling Nets.- An algebraic semantics for hierarchical P/T nets.- A Petri net based environment for the design of event-driven interfaces.- An incremental specification of a Hydroelectric Power Plant Control System using a class of modular algebraic nets.- A class of composable high level Petri nets.- An efficient algorithm for the computation of stubborn sets of well formed Petri Nets.- CAB: An environment for developing concurrent application.- A notion of equivalence for stochastic Petri nets.- Parallel state space exploration for GSPN models.- Modular state space analysis of coloured Petri Nets.- Programmable controller design based on a synchronized colored Petri net model and integrating fuzzy reasoning.- Symbolic reachability graph and partial symmetries.- Causal behaviours and nets.- From Coloured Petri Nets to Object Petri Nets.- Handles and reachability analysis of free choice nets.- Performance bounds for stochastic timed Petri nets.- An inspection model with minimal and major maintenance for a Flexible Manufacturing Cell using Generalized Stochastic Petri Nets.- Subclasses of recognizable trace languages.- Verification of asynchronous circuits by BDD-based model checking of Petri nets.- Parameterized reachability trees for algebraic Petri nets.- Efficient simulation of Thor nets.- Functional equivalences of Petri nets.- Hierarchical Time Stream Petri Net: A model for hypermedia systems.- Markov Regenerative Stochastic Petri Nets with age type general transitions.- Timed processes of Timed Petri Nets.

< zum Archiv...