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

Browse the full SMC paper archive.