“…Based on an FMS model, some very successful FMS simulators have been built on the language of OOP (C þ þ , UML) or various PN tools (Cossins and Ferreirs 1992, Gaeta 1996, Chen and Lu 1997, Qu-yang 1999, Wu 1999. Similarly, our simulation model and execution software are also formed with both the programming techniques of: (1) OOP, all the detailed messages of class attributes and the relationships are included, and (2) HLPN, all the coded tokens, their transfer conditions and moving traces have been uniquely determined and stored within the transition.…”