TY  - SER
AU  - Papelis, Yiannis E.
AU  - Casavant, Thomas L.
TI  - Specification and Analysis of Paraliel/Distributed Sofware and Systems by Petri Nets with  Transition Enabling Functions
KW  - Distributed Software
KW  - Paraliel Software Structure
KW  - Software Specification
ER  -