Specification and Analysis of Paraliel/Distributed Sofware and Systems by Petri Nets with Transition Enabling Functions

Papelis, Yiannis E. Casavant, Thomas L.

Specification and Analysis of Paraliel/Distributed Sofware and Systems by Petri Nets with Transition Enabling Functions - 252-261 p.


Distributed Software
Paraliel Software Structure
Software Specification