- 3 Résultats
prix le plus bas: € 88,80, prix le plus élevé: € 89,24, prix moyen: € 89,09
1
Advances in Petri Nets 1991 - Grzegorz Rozenberg
Commander
sur Springer.com
€ 88,80
Envoi: € 0,001
Commander
Détails du fournisseur
Lien sponsorisé
Grzegorz Rozenberg:

Advances in Petri Nets 1991 - nouveau livre

ISBN: 9783540476009

The main idea behind the series of volumes Advances in Petri Nets is to present to the general computer science community recent results which are the most representative and significant … Plus…

new in stock. Frais d'envoizzgl. Versandkosten. (EUR 0.00)
fermer(X)
2
Advances in Petri Nets 1991 - Grzegorz Rozenberg
Commander
sur Springer.com
€ 89,24
Commander
Détails et expédition
Lien sponsorisé

Grzegorz Rozenberg:

Advances in Petri Nets 1991 - nouveau livre

ISBN: 9783540476009

Computer Science; Computation by Abstract Devices; Computer Communication Networks; Applications of Mathematics; Algorithm Analysis and Problem Complexity; Logics and Meanings of Programs… Plus…

  - Frais d'envoizzgl. Versandkosten, Livraison non-comprise
fermer(X)
3
Advances in Petri Nets 1991 - Grzegorz Rozenberg
Commander
sur Springer.com
€ 89,24
Commander
Détails et expédition
Lien sponsorisé
Grzegorz Rozenberg:
Advances in Petri Nets 1991 - nouveau livre

ISBN: 9783540476009

Computer Science; Computation by Abstract Devices; Computer Communication Networks; Applications of Mathematics; Algorithm Analysis and Problem Complexity; Logics and Meanings of Programs… Plus…

  - Frais d'envoizzgl. Versandkosten., Livraison non-comprise
fermer(X)
1Comme certaines plateformes ne transmettent pas les conditions d'expédition et que celles-ci peuvent dépendre du pays de livraison, du prix d'achat, du poids et de la taille de l'article, d'une éventuelle adhésion de la plateforme, d'une livraison directe par la plateforme ou via un prestataire tiers (Marketplace), etc. il est possible que les frais de livraison indiqués par eurolivre ne correspondent pas à ceux de la plateforme qui propose l'article.

Données bibliographiques du meilleur livre correspondant

Détails sur le livre
Advances in Petri Nets 1991
Auteur:
Titre:
ISBN:

9783540476009

Informations détaillées sur le livre - Advances in Petri Nets 1991


EAN (ISBN-13): 9783540476009
Editeur: Springer Science+Business Media

Livre dans la base de données depuis 2017-06-04T11:28:40+02:00 (Zurich)
Page de détail modifiée en dernier sur 2021-10-09T10:28:41+02:00 (Zurich)
ISBN/EAN: 9783540476009

ISBN - Autres types d'écriture:
978-3-540-47600-9
Autres types d'écriture et termes associés:
Auteur du livre: rozenberg

Données de l'éditeur

Auteur: Grzegorz Rozenberg
Titre: Lecture Notes in Computer Science; Advances in Petri Nets 1991
Editeur: Springer; Springer Berlin
576 Pages
Date de parution: 2005-11-13
Berlin; Heidelberg; DE
Langue: Anglais
96,29 € (DE)
99,00 € (AT)
118,00 CHF (CH)
Available
VIII, 576 p.

EA; E107; eBook; Nonbooks, PBS / Informatik, EDV/Informatik; Theoretische Informatik; Verstehen; Coloured Petrinets; Concurrency; Net design; Netzentwurf; Petri net models; Petrinetz; Petrinetz-Modelle; complexity; gefärbte Petrinetze; petri net; semantics; verteilte Systeme; algorithm analysis and problem complexity; C; Theory of Computation; Computer Communication Networks; Applications of Mathematics; Algorithms; Computer Science Logic and Foundations of Programming; Processor Architectures; Computer Science; Netzwerk-Hardware; Angewandte Mathematik; Algorithmen und Datenstrukturen; Rechnerarchitektur und Logik-Entwurf; BC

Delays in synchronized elementary net systems.- Proving temporal properties of Petri nets.- The complexity of testing the equivalence of transition sequences.- Use of reentrant nets in modular analysis of colored nets.- On abstractions of nets.- Semantics, composition and net properties of algebraic high-level nets.- Top-down synthesis of live and bounded free choice nets.- Hood nets.- Distributable nets.- Computer supported design of kanban controlled production.- Optimal simulations, nets and reachability graphs.- An integrated software development methodology based on hierarchical colored Petri nets.- On net systems generated by process foldings.- On liveness preservation by composition of nets via a set of places.- Software implementation of petri nets and compilation of rule-based systems.- Bibliography of Petri nets 1990.
This volume presents the proceedings of the 11th International Conference on Applications and Theory of Petri Nets held in Paris in 1991. It contains the Bibliography of Petri Nets 1990, with over 4000 entries.
< pour archiver...