By Topic

Object Oriented Petri Nets Modelling Techniques Case Study

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
$33 $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

3 Author(s)
Radek Koci ; Fac. of Inf. Technol., Brno Univ. of Technol., Brno ; Vladimir Janousek ; Frantisek Zboril Jr.

The importance of models used in the area of system design is growing. There were investigated and developed many methodologies of system design based on models - they are known as model-based design. These methodologies use semi-formal models and need for model transformations to check correctness or to get a final application. Formal models, by contrast, allow for clear modelling and checking correctness by simulation techniques as well as by formal verifications. The model is an executable program valid through all development stages including the target application. There are several suitable formalisms, one of them is a formalism of Petri nets, especially its object variant, object oriented Petri nets (OOPN). The paper deals with application of OOPN formalism in the area of system design and demonstrates modeling techniques of OOPN on the case study of conference system design.

Published in:

Computer Modeling and Simulation, 2008. EMS '08. Second UKSIM European Symposium on

Date of Conference:

8-10 Sept. 2008