Book Description 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. Seller Inventory # 9783540152040

More information about this seller | Contact seller

Buy New

US$ 56.18

Convert currency

Add to Basket

Shipping: US$ 24.95

From Germany to U.S.A.

Destination, rates & speeds

Seller Image

Advances in Petri Nets 1984

G. Rozenberg

Published by Springer Berlin Heidelberg (1985)

ISBN 10: 3540152040 ISBN 13: 9783540152040

New Taschenbuch Quantity: 1

Seller:

AHA-BUCH GmbH
(Einbeck, Germany)

Rating

Seller Rating:

Book Description 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. Seller Inventory # 9783540152040

More information about this seller | Contact seller

Buy New

US$ 62.85

Convert currency

Add to Basket

Shipping: US$ 35.79

From Germany to U.S.A.

Destination, rates & speeds

Seller Image

Advances in Petri Nets 1984

Rozenberg, G.|Genrich, H.|Roucairol, G.

Published by Springer Berlin Heidelberg (1985)

ISBN 10: 3540152040 ISBN 13: 9783540152040

New Softcover Quantity: > 20

Print on Demand

Seller:

moluna
(Greven, Germany)

Rating

Seller Rating:

Book Description 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. Seller Inventory # 4882523

More information about this seller | Contact seller

Buy New

US$ 51.11

Convert currency

Add to Basket

Shipping: US$ 53.15

From Germany to U.S.A.

Destination, rates & speeds

Stock Image

Advances in Petri Nets 1984

. Ed(s): Rozenberg, G.

Published by Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (1985)

ISBN 10: 3540152040 ISBN 13: 9783540152040

New Softcover Quantity: 15

Seller:

Kennys Bookshop and Art Galleries Ltd.
(Galway, GY, Ireland)

Rating

Seller Rating:

Book Description 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. . . . . Seller Inventory # V9783540152040

More information about this seller | Contact seller

Buy New

US$ 109.92

Convert currency

Add to Basket

Shipping: US$ 11.39

From Ireland to U.S.A.

Destination, rates & speeds

Stock Image