Advances in Verification of Time Petri Nets and Timed Automata: A Temporal Logic Approach
Wojciech Penczek · Agata Pólrola
Mar 2007 · Studies in Computational Intelligence Book 20 · Springer
5.0star
1 reviewreport
Ebook
257
Pages
reportRatings and reviews aren’t verified Learn More
About this ebook
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.
Ratings and reviews
5.0
1 review
Anil Das
- Flag inappropriate
April 1, 2021
AAA
Rate this ebook
Tell us what you think.
Reading information
Smartphones and tablets
Install the Google Play Books app for Android and iPad/iPhone. It syncs automatically with your account and allows you to read online or offline wherever you are.
Laptops and computers
You can listen to audiobooks purchased on Google Play using your computer's web browser.
eReaders and other devices
To read on e-ink devices like Kobo eReaders, you'll need to download a file and transfer it to your device. Follow the detailed Help Center instructions to transfer the files to supported eReaders.
