Advances in Verification of Time Petri Nets and Timed Automata: A Temporal Logic Approach (Studies in Computational Intelligence)


keywords:bachelor of science computer science,of computer science,of computer science,of computer science,be computer science,

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.

eBook Details:
Category: Computer Science
Author: Wojciech Penczek , Agata Polrola
Language: English
ISBN10: 3540328696
Pages: 257
PubDate: 2006-00-00 00:00:00
UploadDate: 9/4/2017 7:17:16 pm

The Latest Upload

The Most Related