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 (SMC, 2001)

Integrating object-oriented design with Petri nets-case study of ATM system. - Boleslaw Mikolajczak; Charles A. Sefranek (SMC, 2003)