A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf
.
Modeling of Object-Oriented Programs with Petri Net Structured Objects
2017
Computing and informatics
The article presents a method for constructing a model of an objectoriented program in terms of multilabeled Petri nets. Only encapsulation -one of the three concepts of object-oriented paradigm -is considered. To model a different aspects of encapsulation a Petri net structured object is proposed. It consists of a Petri net defining its behavior and a set of organized access points specifying its structural properties. Formal composition operations to construct a program model from the models
doi:10.4149/cai_2017_5_1063
fatcat:hrxkebuwpfft7o6xcr3pdmqyk4