Application and Theory of Petri Nets 1993: 14th International Conference, Chicago, Illinois, USA, June 21-25, 1993. Proceedings: Lecture Notes in Computer Science, cartea 691
Editat de Marco Ajmone Marsanen Limba Engleză Paperback – 7 iun 1993
Din seria Lecture Notes in Computer Science
- 20% Preț: 1061.55 lei
- 20% Preț: 340.32 lei
- 20% Preț: 341.95 lei
- 20% Preț: 453.32 lei
- 20% Preț: 238.01 lei
- 20% Preț: 340.32 lei
- 20% Preț: 438.69 lei
- Preț: 449.57 lei
- 20% Preț: 343.62 lei
- 20% Preț: 148.66 lei
- 20% Preț: 310.26 lei
- 20% Preț: 256.27 lei
- 20% Preț: 645.28 lei
- 17% Preț: 427.22 lei
- 20% Preț: 655.02 lei
- 20% Preț: 307.71 lei
- 20% Preț: 1075.26 lei
- 20% Preț: 591.51 lei
- Preț: 381.21 lei
- 20% Preț: 337.00 lei
- 15% Preț: 438.59 lei
- 20% Preț: 607.39 lei
- 20% Preț: 538.29 lei
- Preț: 389.48 lei
- 20% Preț: 326.98 lei
- 20% Preț: 1414.79 lei
- 20% Preț: 1024.44 lei
- 20% Preț: 579.30 lei
- 20% Preț: 575.48 lei
- 20% Preț: 583.40 lei
- 20% Preț: 763.23 lei
- 15% Preț: 580.46 lei
- 17% Preț: 360.19 lei
- 20% Preț: 504.57 lei
- 20% Preț: 172.69 lei
- 20% Preț: 369.12 lei
- 20% Preț: 353.50 lei
- 20% Preț: 585.88 lei
- Preț: 410.88 lei
- 20% Preț: 596.46 lei
- 20% Preț: 763.23 lei
- 20% Preț: 825.93 lei
- 20% Preț: 649.49 lei
- 20% Preț: 350.21 lei
- 20% Preț: 309.90 lei
- 20% Preț: 122.89 lei
Preț: 655.60 lei
Preț vechi: 771.30 lei
-15% Nou
Puncte Express: 983
Preț estimativ în valută:
125.47€ • 129.44$ • 106.19£
125.47€ • 129.44$ • 106.19£
Carte tipărită la comandă
Livrare economică 04-18 martie
Preluare comenzi: 021 569.72.76
Specificații
ISBN-13: 9783540568636
ISBN-10: 3540568638
Pagini: 608
Ilustrații: X, 598 p.
Dimensiuni: 155 x 235 x 32 mm
Greutate: 0.84 kg
Ediția:1993
Editura: Springer Berlin, Heidelberg
Colecția Springer
Seria Lecture Notes in Computer Science
Locul publicării:Berlin, Heidelberg, Germany
ISBN-10: 3540568638
Pagini: 608
Ilustrații: X, 598 p.
Dimensiuni: 155 x 235 x 32 mm
Greutate: 0.84 kg
Ediția:1993
Editura: Springer Berlin, Heidelberg
Colecția Springer
Seria Lecture Notes in Computer Science
Locul publicării:Berlin, Heidelberg, Germany
Public țintă
ResearchCuprins
Modeling and enactment of workflow systems.- Interleaving functional and performance structural analysis of net models.- FSPNs: Fluid stochastic Petri nets.- Taking advantages of temporal redundancy in High Level Petri Nets implementations.- A subset of Lotos with the computational power of Place/Transition-nets.- An efficient algorithm for finding structural deadlocks in colored Petri nets.- Synthesis of net systems.- Hierarchies in colored GSPNs.- Variable reasoning and analysis about uncertainty with fuzzy Petri nets.- Distributed simulation of timed Petri nets: Exploiting the net structure to obtain efficiency.- Transient analysis of deterministic and stochastic Petri nets.- Coloured Petri nets extended with place capacities, test arcs and inhibitor arcs.- Integrating software engineering methods and Petri nets for the specification and prototyping of complex information systems.- Shortest paths in reachability graphs.- Construction of S-invariants and S-components for refined Petri boxes.- Compositional liveness properties of EN-systems.- Analysis of place/transition nets with timed arcs and its application to batch process control.- On well-formed nets and optimizations in enabling tests.- Linear time algorithm to find a minimal deadlock in a strongly connected free-choice net.- Exploiting T-invariant analysis in diagnostic reasoning on a Petri net model.- Marking optimization of stochastic timed event graphs.- A client-server protocol for the composition of Petri nets.- Analysis of dynamic load balancing strategies using a combination of stochastic petri nets and queueing networks.- Liveness and home states in equal conflict systems.- Bridging the gap between place- and Floyd-invariants with applications to preemptive scheduling.- Interval timed coloured petri nets and their analysis.- Integration of specification for modeling and specification for system design.- New priority-lists for scheduling in timed Petri nets.- A unified approach for reasoning about conflict-free Petri nets.- A colored Petri Net model for a naval command and control system.- Petri Net based specifications of services in an Intelligent Network-Experiences gained from a test case application.- On net modeling of industrial size concurrent systems.- Analysis of the TMS320C40 communication channels using timed Petri Nets.- Protocol optimization for a packet-switched bus in case of burst traffic by means of GSPN.- Petri Nets modeling in pipelined microprocessor design.