Advances in Petri Nets 1990
Editat de Grzegorz Rozenbergen Limba Engleză Paperback – 13 mar 1991
Preț: 333.62 lei
Preț vechi: 417.03 lei
-20%
Puncte Express: 500
Carte tipărită la comandă
Livrare economică 08-22 iunie
Specificații
ISBN-13: 9783540538639
ISBN-10: 3540538631
Pagini: 524
Ilustrații: VIII, 516 p.
Dimensiuni: 155 x 235 x 29 mm
Greutate: 0.79 kg
Ediția:1991
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany
ISBN-10: 3540538631
Pagini: 524
Ilustrații: VIII, 516 p.
Dimensiuni: 155 x 235 x 29 mm
Greutate: 0.79 kg
Ediția:1991
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany
Public țintă
ResearchCuprins
A survey of behaviour and equivalence preserving refinements of petri nets.- A distributed simulator for high order Petri nets.- Petri nets with uncertain markings.- Convex geometry and semiflows in P/T nets. A comparative study of algorithms for computation of minimal p-semiflows.- Improving the linearly based characterization of P/T nets.- Linear invariants in commutative high level nets.- Vicinity respecting net morphisms.- Regular stochastic petri nets.- Circuits, handles, bridges and nets.- On the analysis and synthesis of free choice systems.- Petri net models of a distributed election protocol on a unidirectional ring.- Hierarchies in coloured petri nets.- Coloured petri nets: A high level language for system design and analysis.- A simulation system architecture for graph models.- A state transformation preorder over a class of EN systems.- Composition of nets via a communication medium.- ?Trellis: A system for writing and browsing petri-net-based hypertext.- Stubborn sets for reduced state space generation.