Advances in Petri Nets 1987
Editat de Grzegorz Rozenbergen Limba Engleză Paperback – 22 iun 1987
Preț: 343.78 lei
Preț vechi: 429.73 lei
-20%
Puncte Express: 516
Carte tipărită la comandă
Livrare economică 15-29 septembrie
Livrare prin curier în România Termenul estimat este afișat lângă disponibilitate.
Transport gratuit de la 400.00 lei Plată online sau ramburs, în funcție de opțiunile comenzii.
Retur gratuit în 14 zile Comandă securizată și suport în română.
Specificații
ISBN-13: 9783540180869
ISBN-10: 3540180869
Pagini: 464
Ilustrații: VIII, 456 p.
Dimensiuni: 155 x 235 x 25 mm
Greutate: 0.7 kg
Ediția:1987
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany
ISBN-10: 3540180869
Pagini: 464
Ilustrații: VIII, 456 p.
Dimensiuni: 155 x 235 x 25 mm
Greutate: 0.7 kg
Ediția:1987
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany
Public țintă
ResearchCuprins
Specification and properties of a cache coherence protocol model.- GAMERU: A language for the analysis and design of human communication pragmatics within organizational systems.- Recent results on the complexity of problems related to Petri nets.- Algebraic structure of flows of a regular coloured net.- On equivalent execution semantics of concurrent systems.- Mathematical methods for calculating invariants in Petri nets.- On Petri nets with deterministic and exponentially distributed firing times.- An accurate performance model of CSMA/CD bus LAN.- Petri net models for the ?-calculus.- Fair processes.- Operational Petri net semantics for CCSP.- Infinitary languages of Petri nets and logical sentences.- A strong part of concurrency.- Concurrency and continuity.- Parallel systems specifications with coloured Petri nets and algebraic specifications.- Bibliography of Petri nets.