Diaz, Michel <br/><br/>
Petri Nets: fundamental models, verification and applications 
Edited by Michel Diaz 
 - New Jersey  John Wiley & Sons  2009 
 - xxv, 585p. 
<br/><br/><p>Contents:</p><br/><br/><p>1. Basic Semantics 
<br/><br/><label>ISBN: </label>9781848210790 
<br/><br/><label>Subjects--Topical Terms: </label><br/>System design<br/>Parallel processing (Electronic computer)<br/>Electronic data processing -- Distributed orocessing
<br/><br/><label>Dewey Class. No.: </label>511.35 DIA