Integrating object oriented design with concurrency using Petri nets-A case study of a banking system and the Syroco-Macao environment

Boleslaw Mikolajczak, Charles A. Sefranek. Integrating object oriented design with concurrency using Petri nets-A case study of a banking system and the Syroco-Macao environment. In Proceedings of the IEEE International Conference on Systems, Man & Cybernetics: "e-Systems and e-Man for Cybernetics in Cyberspace", Tucson, Arizona, USA, 7-10 October 2001. pages 1559-1564, IEEE, 2001. [doi]

Abstract

Abstract is missing.