Advances in Petri Nets 1986. Proceedings of an Advanced Course, Bad Honnef, 8.-19. September 1986
Editat de Wilfried Brauer, Wolfgang Reisig, Grzegorz Rozenbergen Limba Engleză Paperback – 26 mai 1987
Preț: 333.02 lei
Preț vechi: 416.28 lei
-20% Nou
Puncte Express: 500
Preț estimativ în valută:
58.93€ • 69.10$ • 51.75£
58.93€ • 69.10$ • 51.75£
Carte tipărită la comandă
Livrare economică 31 ianuarie-14 februarie 26
Preluare comenzi: 021 569.72.76
Specificații
ISBN-13: 9783540179061
ISBN-10: 3540179062
Pagini: 532
Ilustrații: X, 519 p.
Dimensiuni: 155 x 235 x 29 mm
Greutate: 0.8 kg
Ediția:1987
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany
ISBN-10: 3540179062
Pagini: 532
Ilustrații: X, 519 p.
Dimensiuni: 155 x 235 x 29 mm
Greutate: 0.8 kg
Ediția:1987
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany
Public țintă
ResearchCuprins
to Part II.- Computer tools for construction, modification and analysis of Petri nets.- Petri net tool overview 1986.- Petri nets in software engineering.- Nets in data bases.- Petri net based models in the specification and verification of protocols.- Human-machine interaction and role/function/action-nets.- Nets in production systems.- Nets in computer organization.- Nets in office automation.- Modelling architectural features with petrinets.- Trace theory.- Event structures.- CCS — and its relationship to net theory.- COSY: Its relation to nets and to CSP.- TCSP: Theory of communicating sequential processes.- Reduction, data flow and control flow models of computation.- “Forgotten topics” of net theory.