Encapsulation in an object-oriented notation based on modular Petri nets

In this paper, we address the problem of expressing encapsulation, i.e. access restriction levels (like private, public and protected) to attributes and methods, in a concurrent and object-oriented notation called BOON and provide it with a modular semantics in terms of high-level Petri nets. This feature allows to hide the fields of a class in order to prevent undesired change of the state of the class instances. The Petri net semantics gives a way to use automated verification and simulation tools on the translation of a system modeled using this object-oriented notation.