Published by Springer-Verlag, OHG, Berlin, 1985
ISBN 10: 3540152040 ISBN 13: 9783540152040
Seller: SUNSET BOOKS 2, Newark, OH, U.S.A.
Soft cover. Condition: Good. No Jacket. First. 467pp. Wear/soil. W/full markings and pocket. Weight is 2.5 lb. Ex-Library Size: 8vo. Book.
Published by Springer, 2008
ISBN 10: 3540152040 ISBN 13: 9783540152040
Seller: Ammareal, Morangis, France
Softcover. Condition: Bon. Ancien livre de bibliothèque. Traces d'usure sur la couverture. Edition 2008. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Good. Former library book. Signs of wear on the cover. Edition 2008. Ammareal gives back up to 15% of this item's net price to charity organizations.
Published by Springer, 1985
ISBN 10: 3540152040 ISBN 13: 9783540152040
Seller: Hay-on-Wye Booksellers, Hay-on-Wye, HEREF, United Kingdom
Condition: Good. Some shelfwear to the extremities; ink inscription to inside page. Content clean and readable considering age.
Published by Springer, 1985
ISBN 10: 3540152040 ISBN 13: 9783540152040
Seller: GuthrieBooks, Spring Branch, TX, U.S.A.
Paperback. Condition: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments. Except for library markings, interior clean and unmarked. Tight binding.
Published by Springer, 1985
ISBN 10: 3540152040 ISBN 13: 9783540152040
Seller: Irish Booksellers, Portland, ME, U.S.A.
Condition: Good. SHIPS FROM USA. Used books have different signs of use and do not include supplemental materials such as CDs, Dvds, Access Codes, charts or any other extra material. All used books might have various degrees of writing, highliting and wear and tear and possibly be an ex-library with the usual stickers and stamps. Dust Jackets are not guaranteed and when still present, they will have various degrees of tear and damage. All images are Stock Photos, not of the actual item. book.
Published by Springer Berlin Heidelberg, 1985
ISBN 10: 3540152040 ISBN 13: 9783540152040
Seller: Buchpark, Trebbin, Germany
Condition: Sehr gut. Zustand: Sehr gut - Gepflegter, sauberer Zustand. Aus der Auflösung einer renommierten Bibliothek. Kann Stempel beinhalten. | Seiten: 480 | Sprache: Englisch | Produktart: Bücher.
Published by Springer, 1985
ISBN 10: 3540152040 ISBN 13: 9783540152040
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Condition: New.
Published by Springer, 1985
ISBN 10: 3540152040 ISBN 13: 9783540152040
Seller: booksXpress, Bayonne, NJ, U.S.A.
Soft Cover. Condition: NEW.
Published by Springer, 1985
ISBN 10: 3540152040 ISBN 13: 9783540152040
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Condition: As New. Unread book in perfect condition.
Published by Springer, 1985
ISBN 10: 3540152040 ISBN 13: 9783540152040
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Condition: NEW. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book.
Published by Springer, 1985
ISBN 10: 3540152040 ISBN 13: 9783540152040
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
Condition: New.
Published by Springer Berlin Heidelberg Mrz 1985, 1985
ISBN 10: 3540152040 ISBN 13: 9783540152040
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Taschenbuch. Condition: Neu. 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.
Published by Springer, 1985
ISBN 10: 3540152040 ISBN 13: 9783540152040
Seller: GreatBookPricesUK, Castle Donington, DERBY, United Kingdom
Condition: New.
Published by Springer Berlin Heidelberg, 1985
ISBN 10: 3540152040 ISBN 13: 9783540152040
Seller: AHA-BUCH GmbH, Einbeck, Germany
Taschenbuch. Condition: Neu. 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.
Published by Springer, 1985
ISBN 10: 3540152040 ISBN 13: 9783540152040
Seller: GreatBookPricesUK, Castle Donington, DERBY, United Kingdom
Condition: As New. Unread book in perfect condition.
Published by Springer Berlin Heidelberg, 1985
ISBN 10: 3540152040 ISBN 13: 9783540152040
Seller: moluna, Greven, Germany
Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. 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-contin.
Published by Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1985
ISBN 10: 3540152040 ISBN 13: 9783540152040
Seller: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Ireland
Condition: NEW. Editor(s): Rozenberg, G. Series: Lecture Notes in Computer Science. Num Pages: 484 pages, biography. BIC Classification: UKN; UMZ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 24. Weight in Grams: 1470. . 1985. Paperback. . . . .
Published by Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1985
ISBN 10: 3540152040 ISBN 13: 9783540152040
Seller: Kennys Bookstore, Olney, MD, U.S.A.
Condition: NEW. Editor(s): Rozenberg, G. Series: Lecture Notes in Computer Science. Num Pages: 484 pages, biography. BIC Classification: UKN; UMZ. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 24. Weight in Grams: 1470. . 1985. Paperback. . . . . Books ship from the US and Ireland.