Advances in Petri Nets 1993
Editat de Grzegorz Rozenbergen Limba Engleză Paperback – 27 mai 1993
Preț: 330.96 lei
Preț vechi: 413.70 lei
-20%
Puncte Express: 496
Carte tipărită la comandă
Livrare economică 06-20 iunie
Specificații
ISBN-13: 9783540566892
ISBN-10: 3540566899
Pagini: 472
Ilustrații: X, 462 p.
Dimensiuni: 155 x 235 x 26 mm
Greutate: 0.71 kg
Ediția:1993
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany
ISBN-10: 3540566899
Pagini: 472
Ilustrații: X, 462 p.
Dimensiuni: 155 x 235 x 26 mm
Greutate: 0.71 kg
Ediția:1993
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany
Public țintă
ResearchCuprins
Replacement of open interface subnets and stable state transformation equivalence.- Bounded self-stabilizing Petri nets.- Generative families of positive invariants in Coloured nets sub-classes.- Autonomous and timed continuous Petri nets.- The Devnet: A Petri net for discrete event simulation.- A new technique for finding a generating family of siphons, traps and st-components. Application to colored Petri nets.- A concept of hierarchical Petri nets with building blocks.- Petri net tool overview 1992.- The minimal coverability graph for Petri nets.- Distributed implementation of CCS.- Saturation conditions for Stochastic Petri Nets.- Marking optimization in timed event graphs.- Parameterized reachability trees for Predicate/Transition nets.- Iterative decomposition and aggregation of Stochastic marked graph Petri nets.- Constraints and extensions in a Calculus of EN systems.- Comparability orders and measurement.- Deterministic systems of sequential processes: A class of structured Petri nets.- Compositional state space generation.