Applications and Theory of Petri Nets: Selected Papers from the 3rd European Workshop on Applications and Theory of Petri Nets Varenna, Italy, September 27–30, 1982 (under auspices of AFCET, AICA, GI, and EATCS): Informatik-Fachberichte, cartea 66
Editat de A. Pagnoni, G. Rozenbergen Limba Engleză Paperback – mai 1983
Din seria Informatik-Fachberichte
- 20% Preț: 407.42 lei
- 20% Preț: 414.19 lei
- 20% Preț: 406.29 lei
- 20% Preț: 350.52 lei
- 20% Preț: 412.91 lei
- 20% Preț: 409.34 lei
- 20% Preț: 358.74 lei
- 20% Preț: 413.40 lei
- 20% Preț: 355.22 lei
- 20% Preț: 405.64 lei
- 20% Preț: 418.26 lei
- 20% Preț: 412.26 lei
- 20% Preț: 409.03 lei
- 20% Preț: 409.21 lei
- 20% Preț: 417.43 lei
- 20% Preț: 406.14 lei
- 20% Preț: 425.84 lei
- 20% Preț: 421.64 lei
- 20% Preț: 420.02 lei
- 20% Preț: 347.46 lei
- 20% Preț: 329.91 lei
- 20% Preț: 349.41 lei
- 20% Preț: 634.50 lei
- 20% Preț: 356.64 lei
- 20% Preț: 349.06 lei
- 20% Preț: 417.93 lei
- 20% Preț: 410.98 lei
- 20% Preț: 412.26 lei
- 20% Preț: 643.88 lei
- 20% Preț: 409.85 lei
- 20% Preț: 409.98 lei
- 20% Preț: 352.12 lei
- 20% Preț: 407.42 lei
- 20% Preț: 407.24 lei
- 20% Preț: 412.08 lei
- 20% Preț: 422.59 lei
- 20% Preț: 406.92 lei
- 20% Preț: 405.32 lei
- 20% Preț: 334.94 lei
- 20% Preț: 351.02 lei
- 20% Preț: 403.86 lei
- 20% Preț: 407.24 lei
- 20% Preț: 405.95 lei
- 20% Preț: 410.49 lei
- 20% Preț: 630.62 lei
- 20% Preț: 406.14 lei
- 20% Preț: 403.86 lei
- 20% Preț: 348.59 lei
- 20% Preț: 415.33 lei
- 20% Preț: 414.69 lei
Preț: 636.14 lei
Preț vechi: 795.18 lei
-20% Nou
Puncte Express: 954
Preț estimativ în valută:
121.74€ • 126.46$ • 101.13£
121.74€ • 126.46$ • 101.13£
Carte tipărită la comandă
Livrare economică 03-17 februarie 25
Preluare comenzi: 021 569.72.76
Specificații
ISBN-13: 9783540123095
ISBN-10: 3540123091
Pagini: 328
Ilustrații: VI, 315 p.
Dimensiuni: 170 x 244 x 17 mm
Greutate: 0.52 kg
Ediția:Softcover reprint of the original 1st ed. 1983
Editura: Springer Berlin, Heidelberg
Colecția Springer
Seria Informatik-Fachberichte
Locul publicării:Berlin, Heidelberg, Germany
ISBN-10: 3540123091
Pagini: 328
Ilustrații: VI, 315 p.
Dimensiuni: 170 x 244 x 17 mm
Greutate: 0.52 kg
Ediția:Softcover reprint of the original 1st ed. 1983
Editura: Springer Berlin, Heidelberg
Colecția Springer
Seria Informatik-Fachberichte
Locul publicării:Berlin, Heidelberg, Germany
Public țintă
ResearchCuprins
Invited address.- Some personal views of net theory.- List of contributions.- Structural transformations giving B-equivalent PT-nets.- Equivalence notions for concurrent systems.- Milner’s communicating systems and Petri nets.- A matrix-based implementation of generalized Petri nets.- Petri nets specification of virtual ring protocols.- A note on D-continuous causal nets.- S-invariance in predicate/transition nets.- A diagram editor for line drawings with inscriptions.- Formal semantics by a combination of denotational semantics and high-level Petri nets.- Notions of computability by Petri nets.- High-level Petri nets.- Specification and verification of networks in a Petri net based language.- Construction of distributed systems from cycle-free finite automata.- A graph theoretical property for minimal deadlocks.- Petri nets with individual tokens.- Subset languages of Petri nets.- Control of flexible production systems and Petri nets.- On the notion of interface in condition/event-systems.- Behavioral equivalence of concurrent systems.- Program of the workshop.- Addresses of contributors.