By Topic

A method of concurrent object-oriented design using high-level Petri nets

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

2 Author(s)
Mukhin, D. ; Electr. & Comput. Eng. Dept., Univ. Massachusetts, Dartmouth, MA, USA ; Mikolajczak, B.

This paper presents a new method of designing large concurrent systems which is based on a combination of object-oriented design and high-level Petri nets. Object-oriented technology has well established design techniques but lacks analysis and verification methods of the designed system and concurrency aspects. On the other hand, Petri nets is a well defined formalism of parallel systems modeling and analysis (including conflict resolution, allocation, etc.) that lacks clear and effective specification of system design techniques. The method presented in the paper takes advantage of both object-oriented design and high-level Petri nets by using object-oriented technology in the design stage and high-level Petri nets in the analysis stage. The result is a fully designed and analyzed model of a system in an object-oriented sense as well as in a high-level Petri net sense. It means that there exists two 'views' of a system: object-oriented and Petri net, which can be used separately or in combination depending on the needs of the designer.

Published in:

Systems, Man, and Cybernetics, 1998. 1998 IEEE International Conference on  (Volume:1 )

Date of Conference:

11-14 Oct 1998