Cantitate/Preț
Produs

Advances in Petri Nets 1992: Lecture Notes in Computer Science, cartea 609

Editat de Grzegorz Rozenberg
en Limba Engleză Paperback – 10 iun 1992
The main aims of the series of volumes "Advances in PetriNets" are:- to present to the "outside" scientific community a fairpicture of recent advances in the area of Petri nets, and- to encourage those interested in the applications andtheory of concurrent systems to take a closer look at Petrinets and then join the group of researchers working in thisfascinating and challenging area.The ESPRIT Basic Research Action DEMON (DEsign Methodsbased On Nets) has been a focus of developments withinthePetri net community for the last three years. The paperspresented in this special volume have been selected frompapers submitted by participants in DEMON. The papers havebeen refereed and appear in revised form. The volumecontains technical contributions giving insights into anumber of major achievements of the DEMON project. It alsocontains four survey papers covering important researchareas. The volume begins witha description of DEMON givenby its coordinator E. Best.
Citește tot Restrânge

Din seria Lecture Notes in Computer Science

Preț: 34163 lei

Preț vechi: 42704 lei
-20% Nou

Puncte Express: 512

Preț estimativ în valută:
6538 6745$ 5533£

Carte tipărită la comandă

Livrare economică 05-19 martie

Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9783540556107
ISBN-10: 3540556109
Pagini: 484
Ilustrații: VIII, 476 p.
Dimensiuni: 155 x 235 x 25 mm
Greutate: 0.67 kg
Ediția:1992
Editura: Springer Berlin, Heidelberg
Colecția Springer
Seria Lecture Notes in Computer Science

Locul publicării:Berlin, Heidelberg, Germany

Public țintă

Research

Cuprins

Esprit basic research action 3148 DEMON (Design methods based on nets) — Aims, scope and achievements —.- The box calculus: A new causal algebra with multi-label communication.- Modular functional modelling of petri nets with individual tokens.- Interleaving semantics and action refinement with atomic choice.- Maximality preservation and the ST-idea for action refinements.- A fifo-net model for processes with asynchronous communication.- A basic-net algebra for program semantics and its application to occam.- The effect of Vector synchronization: Residue and loss.- Modelling systems with dynamic priorities.- On distributed languages and models for concurrency.- Partial words versus processes: A short comparison.- A survey of basic net models and modular net classes.- Structural techniques and performance bounds of stochastic Petri net models.- A survey of recognizable languages of infinite traces.- A survey of equivalence notions for net based systems.