DocumentCode
2285286
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
Volume
2
fYear
2003
fDate
5-8 Oct. 2003
Firstpage
1499
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Systems, Man and Cybernetics, 2003. IEEE International Conference on
ISSN
1062-922X
Print_ISBN
0-7803-7952-7
Type
conf
DOI
10.1109/ICSMC.2003.1244624
Filename
1244624
Link To Document