Girault, Claude, <br/><br/>
Petri nets for systems engineering :  a guide to modeling, verification, and applications / 
Claude Girault, Rüdiger Valk 
 - xvi, 607 páginas :  ilustraciones 
<br/><br/><label>ISBN: </label>3540412174 (papel alcalino) 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Métodos formales (Computación)<br/>Ingeniería de sistemas<br/>Redes de Petri
<br/><br/><label>LC Class. No.: </label>QA76.9F67  / G57 
<br/><br/><label>Dewey Class. No.: </label>004/.01/51