{"product_id":"advances-in-verification-of-time-petri-nets-and-timed-automata-a-temporal-logic-approach-studies-in-computational-intelligence-20-3540328696","title":"Advances in Verification of Time Petri Nets and Timed Automata: A Temporal Logic Approach (Studies in Computational Intelligence, 20)","description":"\u003cp\u003e\u003cstrong\u003eISBN:\u003c\/strong\u003e 3540328696\u003c\/p\u003e\u003cp\u003e\u003cstrong\u003eAuthor:\u003c\/strong\u003e Penczek, Wojciech\u003c\/p\u003e\u003cp\u003e\u003cstrong\u003eCondition:\u003c\/strong\u003e New\u003c\/p\u003e\u003cp\u003eProduct DescriptionThis 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.From the Back CoverThis monograph presents a comprehensive introduction to timed automata (TA) andtime Petri nets (TPNs) which belong to the most widely used models of real-timesystems. Some of the existing methods of translating time Petri nets to timedautomata are presented, with a focus on the translations that correspond to thesemantics of time Petri nets, associating clocks with various components of thenets. \"Advances in Verification of Time Petri Nets and Timed Automata - A TemporalLogic Approach\" introduces timed and untimed temporal specification languagesand gives model abstraction methods based on state class approaches for TPNsand on partition refinement for TA. Moreover, the monograph presents a recent progressin the development of two model checking methods, based on either exploitingabstract state spaces or on application of SAT-based symbolic techniques.The book addresses research scientists as well as graduate and PhD studentsin computer science, logics, and engineering of real time systems.\u003c\/p\u003e","brand":"Mia Karts","offers":[{"title":"Default Title","offer_id":51895683350816,"sku":"NEW3540328696","price":163.78,"currency_code":"USD","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0980\/7426\/3840\/files\/61091DuReUL.jpg?v=1782037577","url":"https:\/\/miakarts.com\/products\/advances-in-verification-of-time-petri-nets-and-timed-automata-a-temporal-logic-approach-studies-in-computational-intelligence-20-3540328696","provider":"Miakarts Books","version":"1.0","type":"link"}