{"product_id":"advances-in-verification-of-time-petri-nets-and-timed-automata-a-temporal-logic-approach-9783540328698","title":"Advances in Verification of Time Petri Nets and Timed Automata: A Temporal Logic Approach","description":"\u003cp\u003e • Author(s): Wojciech Penczek | Agata Pólrola\u003cbr\u003e • Publisher: Springer\u003cbr\u003e • Publisher Imprint: Springer\u003cbr\u003e • BISAC: Applied\u003c\/p\u003e\u003cp\u003e\u003c\/p\u003e\u003cp\u003eThis 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.\u003c\/p\u003e","brand":"Springer","offers":[{"title":"Hardcover","offer_id":47613142204567,"sku":"9783540328698","price":11017.0,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0666\/3471\/1191\/files\/9783540328698.webp?v=1775082940","url":"https:\/\/atlanticbooks.com\/products\/advances-in-verification-of-time-petri-nets-and-timed-automata-a-temporal-logic-approach-9783540328698","provider":"Atlantic Books","version":"1.0","type":"link"}