In: 2003 IEEE International Conference on Systems, Man, and Cybernetics, Washington, DC, USA, ISBN 0-7803-7953-5, pages 1499-1505. October 2003.
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: Object Oriented Design; Cooperative Objects; Concurrent Systems; Petri nets; Object Control Structure; Verification; Validation.