Applications and Theory of Petri Nets 2005
Editat de Gianfranco Ciardo, Philippe Darondeauen Limba Engleză Paperback – 9 iun 2005
Preț: 330.98 lei
Preț vechi: 413.73 lei
-20% Nou
Puncte Express: 496
Preț estimativ în valută:
58.56€ • 68.33$ • 51.20£
58.56€ • 68.33$ • 51.20£
Carte tipărită la comandă
Livrare economică 17-31 ianuarie 26
Preluare comenzi: 021 569.72.76
Specificații
ISBN-13: 9783540263012
ISBN-10: 3540263012
Pagini: 492
Ilustrații: XI, 475 p.
Dimensiuni: 155 x 235 x 27 mm
Greutate: 0.74 kg
Ediția:2005
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany
ISBN-10: 3540263012
Pagini: 492
Ilustrații: XI, 475 p.
Dimensiuni: 155 x 235 x 27 mm
Greutate: 0.74 kg
Ediția:2005
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany
Public țintă
ResearchCuprins
Invited Papers.- Expressiveness and Efficient Analysis of Stochastic Well-Formed Nets.- Applications of Craig Interpolation to Model Checking.- Towards an Algebra for Security Policies.- Continuization of Timed Petri Nets: From Performance Evaluation to Observation and Control.- Full Papers.- Genetic Process Mining.- The (True) Concurrent Markov Property and Some Applications to Markov Nets.- On the Equivalence Between Liveness and Deadlock-Freeness in Petri Nets.- Extremal Throughputs in Free-Choice Nets.- A Framework to Decompose GSPN Models.- Modeling Dynamic Architectures Using Nets-Within-Nets.- A High Level Language for Structural Relations in Well-Formed Nets.- Derivation of Non-structural Invariants of Petri Nets Using Abstract Interpretation.- Modeling Multi-valued Genetic Regulatory Networks Using High-Level Petri Nets.- Termination Properties of TCP’s Connection Management Procedures.- Soundness of Resource-Constrained Workflow Nets.- High-Level Nets with Nets and Rules as Tokens.- Can I Execute My Scenario in Your Net?.- Reference and Value Semantics Are Equivalent for Ordinary Object Petri Nets.- Particle Petri Nets for Aircraft Procedure Monitoring Under Uncertainty.- On the Expressive Power of Petri Net Schemata.- Determinate STG Decomposition of Marked Graphs.- Timed-Arc Petri Nets vs. Networks of Timed Automata.- Specifying and Analyzing Software Safety Requirements of a Frequency Converter Using Coloured Petri Nets.- Achieving a General, Formal and Decidable Approach to the OR-Join in Workflow Using Reset Nets.- Tool Papers.- The ProM Framework: A New Era in Process Mining Tool Support.- High Level Petri Nets Analysis with Helena.- Protos 7.0: Simulation Made Accessible.