Cantitate/Preț
Produs

Application and Theory of Petri Nets 2000: 21st International Conference, ICATPN 2000, Aarhus, Denmark, June 26-30, 2000 Proceedings: Lecture Notes in Computer Science, cartea 1825

Editat de Mogens Nielsen, Dan Simpson
en Limba Engleză Paperback – 14 iun 2000

Din seria Lecture Notes in Computer Science

Preț: 34265 lei

Preț vechi: 42831 lei
-20% Nou

Puncte Express: 514

Preț estimativ în valută:
6557 6804$ 5481£

Carte tipărită la comandă

Livrare economică 15-29 martie

Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9783540676935
ISBN-10: 3540676937
Pagini: 504
Ilustrații: XII, 492 p.
Dimensiuni: 155 x 235 x 26 mm
Greutate: 0.7 kg
Ediția:2000
Editura: Springer Berlin, Heidelberg
Colecția Springer
Seria Lecture Notes in Computer Science

Locul publicării:Berlin, Heidelberg, Germany

Public țintă

Research

Cuprins

Invited Papers.- Hardware and Petri Nets Application to Asynchronous Circuit Design.- Region Based Synthesis of P/T-Nets and Its Potential Applications.- UML — A Universal Modeling Language?.- Verification of Timed and Hybrid Systems.- Full Papers.- Parametric Stochastic Well-Formed Nets and Compositional Modelling.- Reducing k-Safe Petri Nets to Pomset-Equivalent 1-Safe Petri Nets.- Executing Transactions in Zero-Safe Nets.- Efficient Symbolic State-Space Construction for Asynchronous Systems.- Designing a LTL Model-Checker Based on Unfolding Graphs.- Process Semantics of Petri Nets over Partial Algebra.- User Interface Prototyping Based on UML Scenarios and High-Level Petri Nets.- Decidability of Properties of Timed-Arc Petri Nets.- Analysing the WAP Class 2 Wireless Transaction Protocol Using Coloured Petri Nets.- Liveness Verification of Discrete Event Systems Modeled by n-Safe Ordinary Petri Nets.- Modelling and Analysing the SDL Description of the ISDN-DSS1 Protocol.- Process Semantics of P/T-Nets with Inhibitor Arcs.- Improved Question-Guided Stubborn Set Methods for State Properties.- A Compositional Model of Time Petri Nets.- Composing Abstractions of Coloured Petri Nets.- Modelling and Analysis of a DANFOSS Flowmeter System Using Coloured Petri Nets.- Automatic Code Generation Method Based on Coloured Petri Net Models Applied on an Access Control System.- Pre- and Post-agglomerations for LTL Model Checking.- Bisimulation and the Reduction of Petri Nets.- Efficiency of Asynchronous Systems That Communicate Asynchronously.- Tools Presentations.- CASCADE: A Tool Kernel Supporting a Comprehensive Design Method for Asynchronous Controllers.- ExSpect 6.4 An Executable Specification Tool for Hierarchical Colored Petri Nets.- LoLA A Low Level Analyser.- Woflan 2.0 APetri-Net-Based Workflow Diagnosis Tool.

Caracteristici

Includes supplementary material: sn.pub/extras