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
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