Application and Theory of Petri Nets 1997
Editat de Pierre Azema, Gianfranco Balboen Limba Engleză Paperback – 4 iun 1997
The 22 revised full papers presented in the volume were selected from a total of 61 submissions; also included are three invited contributions. All relevant topics in the area are addressed. Besides a variety of Petri net classes, workflow management, telecommunication networking, constraint satisfaction, program semantics, concurrency, and temporal logic are among the topics addressed.
Preț: 330.58 lei
Preț vechi: 413.22 lei
-20% Nou
Puncte Express: 496
Preț estimativ în valută:
58.50€ • 68.22$ • 51.36£
58.50€ • 68.22$ • 51.36£
Carte tipărită la comandă
Livrare economică 15-29 ianuarie 26
Preluare comenzi: 021 569.72.76
Specificații
ISBN-13: 9783540631392
ISBN-10: 3540631399
Pagini: 484
Ilustrații: IX, 475 p.
Dimensiuni: 155 x 235 x 27 mm
Greutate: 0.73 kg
Ediția:1997
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany
ISBN-10: 3540631399
Pagini: 484
Ilustrații: IX, 475 p.
Dimensiuni: 155 x 235 x 27 mm
Greutate: 0.73 kg
Ediția:1997
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany
V-ar putea interesa
-
Statistical Modeling and Analysis for Complex Data ProblemsPierre Duchesne-15%Preț: 624.14 lei734.29 lei -
Data Quality and Record Linkage TechniquesThomas N. Herzog-20%Preț: 727.70 lei909.63 lei -
Computer Vision: Models, Learning, and InferenceSimon J. D. Prince-20%Preț: 528.60 lei660.76 lei -
-20%Preț: 496.11 lei620.15 lei -
Spock – Up and RunningRob Fletcher-20%Preț: 333.29 lei416.62 lei -
Tragic DesignJonathan Shariat-20%Preț: 177.83 lei222.29 lei -
Thoughtful Machine Learning with PythonMatthew Kirk-20%Preț: 238.98 lei298.73 lei -
This is Service Design DoingMarc Stickdorn-20%Preț: 247.82 lei309.77 lei -
High Performance SparkHolden Karau-20%Preț: 232.55 lei290.68 lei -
Practical TableauRyan Sleeper-20%Preț: 302.61 lei378.25 lei -
A Course in Mathematical CryptographyGilbert Baumslag-20%Preț: 319.80 lei399.76 lei -
-20%Preț: 320.72 lei400.90 lei -
Fuzzy Probability and StatisticsJames J. Buckley-20%Preț: 624.51 lei780.63 lei -
Computer Aided VerificationJr. Hunt-20%Preț: 330.36 lei412.95 lei -
LATIN 2002: Theoretical InformaticsSergio Rajsbaum-20%Preț: 639.92 lei799.90 lei -
-20%Preț: 323.55 lei404.44 lei -
-20%Preț: 326.55 lei408.19 lei
Public țintă
ResearchCuprins
Model checking LTL using constraint programming.- On the composition of timed systems.- Some issues about Petri net application to manufacturing and process supervisory control.- On the abstraction of coloured Petri Nets.- Life-cycle inheritance.- Multi-agent-systems based on coloured Petri nets.- On the complexity of the linear-time ?-calculus for Petri Nets.- Improved implementations via a new structural equivalence on labeled nets.- Time processes for time Petri nets.- Timed Petri nets and temporal linear logic.- Efficient handling of Phase-type distributions in generalized stochastic Petri nets.- Petri's axioms of concurrency a selection of recent results.- Analysis of Petri nets with a dynamic priority method.- A compositional partial order semantics for Petri net components.- Covering step graph preserving failure semantics.- Siphons, traps and high-level nets with infinite color domains.- Teaching Coloured Petri Nets — a gentle introduction to formal methods in a distributed systems course.- Transition systems of Elementary Net Systems with inhibitor arcs.- Coupling asynchrony and interrupts: Place Chart Nets.- Modeling and solving constraint satisfaction problems through Petri nets.- Fault detection in telecommunication networks based on a Petri net representation of alarm propagation.- Analysing bang & Olufsen's BeoLink® audio/video system using coloured Petri nets.- Verification of workflow nets.- Verification of siphons and traps for algebraic Petri nets.- Orthogonal transformations for coloured Petri nets.