Papelis, Yiannis E. Casavant, Thomas L. <br/><br/>
Specification and Analysis of Paraliel/Distributed Sofware and Systems by Petri Nets with  Transition Enabling Functions 

 - 252-261 p. 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Distributed Software<br/>Paraliel Software Structure<br/>Software Specification