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ț: 332.39 lei
Preț vechi: 415.48 lei
-20%
Puncte Express: 499
Carte tipărită la comandă
Livrare economică 15-29 iulie
Livrare prin curier în România Termenul estimat este afișat lângă disponibilitate.
Transport gratuit de la 400.00 lei Plată online sau ramburs, în funcție de opțiunile comenzii.
Retur gratuit în 14 zile Comandă securizată și suport în română.
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.