• Arie Karniel
  • Yoram Reich


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.


Central Limit Theorem Label Transition System Distribution Convergence Structural Congruence Function Distribution Estimation 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


  1. Asmussen S, Glynn PW (2007) Stochastic simulation algorithms and analysis. Springer, New YorkMATHGoogle Scholar
  2. Esser R (1998) Petri net tool. Adelaide university. Accessed July 2010
  3. Gilks WR, Richardson S, Spiegelhalter DJ (1996) Markov chain Monte–Carlo in practice. Chapman and Hall/CRC, Boca RatonMATHGoogle Scholar
  4. Milner R (1999) Communicating and mobil systems: The π–calculus. Cambridge University Press, CambridgeGoogle Scholar
  5. Sered Y, Reich Y (2006) Standardization and modularization driven by minimizing overall process effort. Compt.-Aided Design 38(5):405–416CrossRefGoogle Scholar

Copyright information

© Springer-Verlag London Limited  2011

Authors and Affiliations

  1. 1.School of Mechanical EngineeringTel Aviv UniversityTel AvivIsrael

Personalised recommendations