[EAN: 9783540152040], New book, [PU: Springer Berlin Heidelberg Mrz 1985], PETRI-NETZ; LOCALAREANETWORK; DESIGN; INTERFACES; LANGUAGE; MODELING; PROGRAMMING; SEMANTICS; SOFTWARE; VALIDATION, This item is printed on demand - it takes 3-4 days longer - Neuware -PSI: A petri net based simulator for flexible manufacturing systems.- Modelling and validation of complex systems by coloured petri nets application to a flexible manufacturing system.- Concurrency axioms and D-continuous posets.- Frozen tokens and D-continuity: A study in relating system properties to process properties.- Modelling scheduling problems with timed petri nets.- Infinite behaviour and fairness in petri nets.- Petri net based models for the specification and validation of protocols.- A note on observable occurrence nets.- A lattice theoretic view of K-density.- Fair serializability of iterated transactions using fifo-nets.- Csp-programs as nets with individual tokens.- Design and programming of interfaces for monetic applications using petri nets.- Towards reachability trees for high-level petri nets.- The residue of vector sets with applications to decidability problems in petri nets.- The design of a program package for an introductory petri net course.- On communication protocol modelling and design.- On structural properties of generalized processes.- Stepwise construction of non-sequential software systems using a net-based specification language.- Liveness and duality in marked-graph-like predicate/transition nets.- Semantics of concurrent systems: A modular fixed-point trace approach.- The reachability problem for VAS.- K-density, N-density, and finiteness properties.- A net model of a local area network protocol.- In praise of free choice nets.- Computation of flows for unary-predicates/transitions-nets. 480 pp. Englisch, Books<
AbeBooks.com
BuchWeltWeit Inh. Ludwig Meier e.K., Bergisch Gladbach, Germany [57449362] [Rating: 5 (of 5)] NEW BOOK. Frais d'envoi EUR 21.45 Details...
(*) Livre non disponible signifie que le livre est actuellement pas disponible à l'une des plates-formes associées nous recherche.
[EAN: 9783540152040], Neubuch, [SC: 0.0], [PU: Springer Berlin Heidelberg], PETRI-NETZ; LOCALAREANETWORK; DESIGN; INTERFACES; LANGUAGE; MODELING; PROGRAMMING; SEMANTICS; SOFTWARE; VALIDATION, Druck auf Anfrage Neuware - Printed after ordering - PSI: A petri net based simulator for flexible manufacturing systems.- Modelling and validation of complex systems by coloured petri nets application to a flexible manufacturing system.- Concurrency axioms and D-continuous posets.- Frozen tokens and D-continuity: A study in relating system properties to process properties.- Modelling scheduling problems with timed petri nets.- Infinite behaviour and fairness in petri nets.- Petri net based models for the specification and validation of protocols.- A note on observable occurrence nets.- A lattice theoretic view of K-density.- Fair serializability of iterated transactions using fifo-nets.- Csp-programs as nets with individual tokens.- Design and programming of interfaces for monetic applications using petri nets.- Towards reachability trees for high-level petri nets.- The residue of vector sets with applications to decidability problems in petri nets.- The design of a program package for an introductory petri net course.- On communication protocol modelling and design.- On structural properties of generalized processes.- Stepwise construction of non-sequential software systems using a net-based specification language.- Liveness and duality in marked-graph-like predicate/transition nets.- Semantics of concurrent systems: A modular fixed-point trace approach.- The reachability problem for VAS.- K-density, N-density, and finiteness properties.- A net model of a local area network protocol.- In praise of free choice nets.- Computation of flows for unary-predicates/transitions-nets. 480 pp. Englisch, Books<
G. Rozenberg: Advances in Petri Nets 1984 - Livres de poche
1985, ISBN: 3540152040
[EAN: 9783540152040], New book, [PU: Springer Berlin Heidelberg], PETRI-NETZ; LOCALAREANETWORK; DESIGN; INTERFACES; LANGUAGE; MODELING; PROGRAMMING; SEMANTICS; SOFTWARE; VALIDATION, Druck… Plus…
[EAN: 9783540152040], New book, [PU: Springer Berlin Heidelberg], PETRI-NETZ; LOCALAREANETWORK; DESIGN; INTERFACES; LANGUAGE; MODELING; PROGRAMMING; SEMANTICS; SOFTWARE; VALIDATION, Druck auf Anfrage Neuware - Printed after ordering - PSI: A petri net based simulator for flexible manufacturing systems.- Modelling and validation of complex systems by coloured petri nets application to a flexible manufacturing system.- Concurrency axioms and D-continuous posets.- Frozen tokens and D-continuity: A study in relating system properties to process properties.- Modelling scheduling problems with timed petri nets.- Infinite behaviour and fairness in petri nets.- Petri net based models for the specification and validation of protocols.- A note on observable occurrence nets.- A lattice theoretic view of K-density.- Fair serializability of iterated transactions using fifo-nets.- Csp-programs as nets with individual tokens.- Design and programming of interfaces for monetic applications using petri nets.- Towards reachability trees for high-level petri nets.- The residue of vector sets with applications to decidability problems in petri nets.- The design of a program package for an introductory petri net course.- On communication protocol modelling and design.- On structural properties of generalized processes.- Stepwise construction of non-sequential software systems using a net-based specification language.- Liveness and duality in marked-graph-like predicate/transition nets.- Semantics of concurrent systems: A modular fixed-point trace approach.- The reachability problem for VAS.- K-density, N-density, and finiteness properties.- A net model of a local area network protocol.- In praise of free choice nets.- Computation of flows for unary-predicates/transitions-nets. 480 pp. Englisch, Books<
[EAN: 9783540152040], New book, [PU: Springer Berlin Heidelberg Mrz 1985], PETRI-NETZ; LOCALAREANETWORK; DESIGN; INTERFACES; LANGUAGE; MODELING; PROGRAMMING; SEMANTICS; SOFTWARE; VALIDATION, This item is printed on demand - it takes 3-4 days longer - Neuware -PSI: A petri net based simulator for flexible manufacturing systems.- Modelling and validation of complex systems by coloured petri nets application to a flexible manufacturing system.- Concurrency axioms and D-continuous posets.- Frozen tokens and D-continuity: A study in relating system properties to process properties.- Modelling scheduling problems with timed petri nets.- Infinite behaviour and fairness in petri nets.- Petri net based models for the specification and validation of protocols.- A note on observable occurrence nets.- A lattice theoretic view of K-density.- Fair serializability of iterated transactions using fifo-nets.- Csp-programs as nets with individual tokens.- Design and programming of interfaces for monetic applications using petri nets.- Towards reachability trees for high-level petri nets.- The residue of vector sets with applications to decidability problems in petri nets.- The design of a program package for an introductory petri net course.- On communication protocol modelling and design.- On structural properties of generalized processes.- Stepwise construction of non-sequential software systems using a net-based specification language.- Liveness and duality in marked-graph-like predicate/transition nets.- Semantics of concurrent systems: A modular fixed-point trace approach.- The reachability problem for VAS.- K-density, N-density, and finiteness properties.- A net model of a local area network protocol.- In praise of free choice nets.- Computation of flows for unary-predicates/transitions-nets. 480 pp. Englisch, Books<
NEW BOOK. Frais d'envoi EUR 21.45 BuchWeltWeit Inh. Ludwig Meier e.K., Bergisch Gladbach, Germany [57449362] [Rating: 5 (of 5)]
[EAN: 9783540152040], Neubuch, [SC: 0.0], [PU: Springer Berlin Heidelberg], PETRI-NETZ; LOCALAREANETWORK; DESIGN; INTERFACES; LANGUAGE; MODELING; PROGRAMMING; SEMANTICS; SOFTWARE; VALIDATION, Druck auf Anfrage Neuware - Printed after ordering - PSI: A petri net based simulator for flexible manufacturing systems.- Modelling and validation of complex systems by coloured petri nets application to a flexible manufacturing system.- Concurrency axioms and D-continuous posets.- Frozen tokens and D-continuity: A study in relating system properties to process properties.- Modelling scheduling problems with timed petri nets.- Infinite behaviour and fairness in petri nets.- Petri net based models for the specification and validation of protocols.- A note on observable occurrence nets.- A lattice theoretic view of K-density.- Fair serializability of iterated transactions using fifo-nets.- Csp-programs as nets with individual tokens.- Design and programming of interfaces for monetic applications using petri nets.- Towards reachability trees for high-level petri nets.- The residue of vector sets with applications to decidability problems in petri nets.- The design of a program package for an introductory petri net course.- On communication protocol modelling and design.- On structural properties of generalized processes.- Stepwise construction of non-sequential software systems using a net-based specification language.- Liveness and duality in marked-graph-like predicate/transition nets.- Semantics of concurrent systems: A modular fixed-point trace approach.- The reachability problem for VAS.- K-density, N-density, and finiteness properties.- A net model of a local area network protocol.- In praise of free choice nets.- Computation of flows for unary-predicates/transitions-nets. 480 pp. Englisch, Books<
G. Rozenberg: Advances in Petri Nets 1984 - Livres de poche
1985
ISBN: 3540152040
[EAN: 9783540152040], New book, [PU: Springer Berlin Heidelberg], PETRI-NETZ; LOCALAREANETWORK; DESIGN; INTERFACES; LANGUAGE; MODELING; PROGRAMMING; SEMANTICS; SOFTWARE; VALIDATION, Druck… Plus…
[EAN: 9783540152040], New book, [PU: Springer Berlin Heidelberg], PETRI-NETZ; LOCALAREANETWORK; DESIGN; INTERFACES; LANGUAGE; MODELING; PROGRAMMING; SEMANTICS; SOFTWARE; VALIDATION, Druck auf Anfrage Neuware - Printed after ordering - PSI: A petri net based simulator for flexible manufacturing systems.- Modelling and validation of complex systems by coloured petri nets application to a flexible manufacturing system.- Concurrency axioms and D-continuous posets.- Frozen tokens and D-continuity: A study in relating system properties to process properties.- Modelling scheduling problems with timed petri nets.- Infinite behaviour and fairness in petri nets.- Petri net based models for the specification and validation of protocols.- A note on observable occurrence nets.- A lattice theoretic view of K-density.- Fair serializability of iterated transactions using fifo-nets.- Csp-programs as nets with individual tokens.- Design and programming of interfaces for monetic applications using petri nets.- Towards reachability trees for high-level petri nets.- The residue of vector sets with applications to decidability problems in petri nets.- The design of a program package for an introductory petri net course.- On communication protocol modelling and design.- On structural properties of generalized processes.- Stepwise construction of non-sequential software systems using a net-based specification language.- Liveness and duality in marked-graph-like predicate/transition nets.- Semantics of concurrent systems: A modular fixed-point trace approach.- The reachability problem for VAS.- K-density, N-density, and finiteness properties.- A net model of a local area network protocol.- In praise of free choice nets.- Computation of flows for unary-predicates/transitions-nets. 480 pp. Englisch, Books<
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
Informations détaillées sur le livre - Advances in Petri Nets 1984
EAN (ISBN-13): 9783540152040 ISBN (ISBN-10): 3540152040 Version reliée Livre de poche Date de parution: 2007 Editeur: Springer Berlin 480 Pages Poids: 0,719 kg Langue: eng/Englisch
Livre dans la base de données depuis 2008-02-15T18:57:53+01:00 (Zurich) Page de détail modifiée en dernier sur 2023-11-11T14:19:48+01:00 (Zurich) ISBN/EAN: 9783540152040
ISBN - Autres types d'écriture: 3-540-15204-0, 978-3-540-15204-0 Autres types d'écriture et termes associés: Auteur du livre: genrich, goos, rozenberg Titre du livre: petri, 1984, lecture notes computer science, 222
Données de l'éditeur
Auteur: G. Rozenberg Titre: Lecture Notes in Computer Science; Advances in Petri Nets 1984 Editeur: Springer; Springer Berlin 472 Pages Date de parution: 1985-03-01 Berlin; Heidelberg; DE Langue: Anglais 50,28 € (DE) 51,69 € (AT) 63,12 CHF (CH) Available XII, 472 p.
BC; Hardcover, Softcover / Informatik, EDV/Informatik; Software Engineering; Verstehen; Local Area Network; design; interfaces; language; modeling; programming; semantics; software; validation; Software Engineering; Computer Communication Networks; Netzwerk-Hardware; EA
PSI: A petri net based simulator for flexible manufacturing systems.- Modelling and validation of complex systems by coloured petri nets application to a flexible manufacturing system.- Concurrency axioms and D-continuous posets.- Frozen tokens and D-continuity: A study in relating system properties to process properties.- Modelling scheduling problems with timed petri nets.- Infinite behaviour and fairness in petri nets.- Petri net based models for the specification and validation of protocols.- A note on observable occurrence nets.- A lattice theoretic view of K-density.- Fair serializability of iterated transactions using fifo-nets.- Csp-programs as nets with individual tokens.- Design and programming of interfaces for monetic applications using petri nets.- Towards reachability trees for high-level petri nets.- The residue of vector sets with applications to decidability problems in petri nets.- The design of a program package for an introductory petri net course.- On communication protocol modelling and design.- On structural properties of generalized processes.- Stepwise construction of non-sequential software systems using a net-based specification language.- Liveness and duality in marked-graph-like predicate/transition nets.- Semantics of concurrent systems: A modular fixed-point trace approach.- The reachability problem for VAS.- K-density, N-density, and finiteness properties.- A net model of a local area network protocol.- In praise of free choice nets.- Computation of flows for unary-predicates/transitions-nets.
Autres livres qui pourraient ressembler au livre recherché: