Title :
Integrating object-oriented design with Petri nets-case study of ATM system
Author :
Mikolajczak, B. ; Sefranek, Charles
Author_Institution :
Dept. of Comput. & Inf. Sci., Massachusetts Univ., Dartmouth, MA, USA
Abstract :
This paper deals with integration of object-oriented design with Petri nets. The object-oriented design used is an ATM system as described in Wirfs-Brock and Wilkerson´s book. Cooperating Objects of Sibertin-Blanc, supported by SYROCO prototyping environment, are used for Petri net modeling and simulation. Benefits of both informal Object Oriented Design and formalisms of Petri nets are used for verification and validation purposes of the design prior to full system implementation.
Keywords :
Petri nets; automatic teller machines; object-oriented methods; ATM system; Petri net modeling; Petri net simulation; Petri nets; SYROCO prototyping environment; object-oriented design; Books; Computer aided software engineering; Concurrent computing; Control systems; Design methodology; Information science; Information technology; Object oriented modeling; Petri nets; Virtual prototyping;
Conference_Titel :
Systems, Man and Cybernetics, 2003. IEEE International Conference on
Print_ISBN :
0-7803-7952-7
DOI :
10.1109/ICSMC.2003.1244624
