Petri nets :  fundamental models, verification and applications / 
edited by Michel Diaz. 
 - London :  Hoboken, NJ :  ISTE ;  Wiley,  2009. 
 - xxv, 585 p. :  ill. ;  24 cm. 
 - Control systems, robotics and manufacturing series .
 - Control systems, robotics and manufacturing series. .
<br/><br/> First published in French as 2 separate works, Les réseaux de Petri (2001) and Vérification et mise en œuvre des réseaux de Petri (2003). 
<br/><br/>Includes bibliographical references and index. 
<br/><br/><label>ISBN: </label>9781848210790 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Electronic data processing<br/>Parallel processing (Electronic computers)<br/>System design.<br/>Petri nets.--Distributed processing.
<br/><br/><label>LC Class. No.: </label>511.35  / DIP 
<br/><br/><label>Dewey Class. No.: </label>511.3/5  / DIP