Penczek, Wojciech. , <br/><br/>
Advances in verification of time petri nets and timed automata :  a temporal logic approach / 
Wojciech Penczek, Agata Polrola. 
 - xxxii, 257 pages :  illustrations ;  24 cm. 
 - Studies in computational intelligence ;  v. 20 .
<br/><br/><label>ISBN: </label>3540328696 9783540328698 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Petri nets.<br/>Real-time control.<br/>Real-time data processing.
<br/><br/><label>LC Class. No.: </label>QA267   / .P45 2006