The pi-calculus was reviewed in the current research as a formal foundation for modeling the Dynamic new-Product Design Process (DnPDP). While the dynamic modeling properties of the pi-calculus are appealing, its complex semantics interpretation was estimated as a high overhead, and the simpler Task net was utilized for process modeling.
KeywordsCentral Limit Theorem Label Transition System Distribution Convergence Structural Congruence Function Distribution Estimation
- Esser R (1998) Petri net tool. Adelaide university. http://www.cs.adelaide.edu.au/users/esser/forkjoin.html. Accessed July 2010
- Milner R (1999) Communicating and mobil systems: The π–calculus. Cambridge University Press, CambridgeGoogle Scholar