Advances in verification of time Petri Nets and timed automata : A temporal logic approach
This monograph presents a comprehensive introduction to timed automata (TA) and time Petri nets (TPNs) which belong to the most widely used models of real-time systems. Some of the existing methods of translating time Petri nets to timed automata are presented, with a focus on the translations that correspond to the semantics of time Petri nets, associating clocks with various components of the nets. "Advances in Verification of Time Petri Nets and Timed Automata – A Temporal Logic Approach" introduces timed and untimed temporal specification languages and gives model abstraction methods based on state class approaches for TPNs and on partition refinement for TA. Moreover, the monograph presents a recent progress in the development of two model checking methods, based on either exploiting abstract state spaces or on application of SAT-based symbolic techniques.
كتب مشابهة
Materials & sustainability building a circular future
Examines sustainable manufacturing, from the extraction of materials to processing, use, and disposal, and argues that significant changes in all of the above are needed for the world to progress toward a more circular economy. Materials and processing methods are usually chosen with performance as the key metric.
Composite materials : sustainable and eco-friendly materials and application
Covers innovations in the field of composite materials with a specific focus on eco-friendly and environmentally sustainable systems. All composite fields are explored, including polymer, metal, and ceramic matrix composites with an emphasis on sourcing raw materials in a sustainable way as well as the development of composite materials for environmental sustainability.
Building construction methods and systems : principles, requirements and application details
Presents practical information about the design and construction of building projects by addressing the principles of each method, unveiling background factors for requirements, and state-of-the-art application details, and presents general design and application principles of construction methods and technologies without diving into engineering calculations and formulas to keep the content easily understandable by all AEC practitioners and participants.
Material Modeling in Finite Element Analysis
Presents some specific problems including the metal-forming process, combustion room, Mullins effect of rubber tires, viscoelasticity of liver soft tissues, small punch test, tunnel excavation, slope stability, concrete slump test, orthodontic wire, and piezoelectric microaccelerometer.
