Unifying Petri Nets
Editat de Hartmut Ehrig, Gabriel Juhas, Julia Padberg, Grzegorz Rozenbergen Limba Engleză Paperback – 14 dec 2001
These successful developments have led to a very heterogeneous landscape of diverse models, and this, in turn, has stimulated research on concepts and approaches that contribute to unifying and structuring the diverse landscape. This state-of-the-art survey presents the most relevant approaches to unifying Petri nets in a systematic and coherent way. The 14 chapters written by leading researchers are organized in topical sections on application-oriented approaches, unifying frameworks, and theoretical approaches.
Preț: 331.38 lei
Preț vechi: 414.22 lei
-20% Nou
Puncte Express: 497
Preț estimativ în valută:
58.64€ • 68.76$ • 51.50£
58.64€ • 68.76$ • 51.50£
Carte tipărită la comandă
Livrare economică 06-20 februarie 26
Preluare comenzi: 021 569.72.76
Specificații
ISBN-13: 9783540430674
ISBN-10: 3540430679
Pagini: 500
Ilustrații: VIII, 488 p.
Dimensiuni: 155 x 235 x 27 mm
Greutate: 0.75 kg
Ediția:2001
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany
ISBN-10: 3540430679
Pagini: 500
Ilustrații: VIII, 488 p.
Dimensiuni: 155 x 235 x 27 mm
Greutate: 0.75 kg
Ediția:2001
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany
Public țintă
ResearchCuprins
“What Is a Petri Net?” Informal Answers for the Informed Reader.- Application Oriented Approaches.- The ?Petri Net Baukasten?: An Overview.- Improving the Usability of Petri Nets with the ?Petri Net Baukasten?.- Implementation of Parameterized Net Classes with the Petri Net Kernel of the ?Petrinetz-Baukasten?.- Process Landscaping: Modelling Distributed Processes and Proving Properties of Distributed Process Models.- Unifying Frameworks.- Petri Nets over Partial Algebra.- Parameterized Net Classes: A Uniform Approach to Petri Net Classes.- Behavior and Realization Construction for Petri Nets Based on Free Monoid and Power Set Graphs.- Rewriting Logic as a Unifying Framework for Petri Nets.- Theoretical Approaches.- Generalized Automata and Their Net Representations.- On Concurrent Realization of Reactive Systems and Their Morphisms.- Transactions and Zero-Safe Nets.- Two Algebraic Process Semantics for Contextual Nets.- Continuous Petri Nets and Transition Systems.