Object-Oriented Modelling with High-Level Modular Petri Nets

Abstract. In this paper, we address the problem of expressing objectoriented concepts in terms of Petri nets. This is interesting, first, as a possibility of representing concurrent system specifications written in object-oriented formalisms or languages with Petri nets, and second, as a way of allowing automated verification of the obtained Petri net using existing reachability analysis tools. We start from an existing parallel specification language having a modular Petri net semantics and we extend it with object-oriented features inspired from Java and C++. The translation of these new extensions into the Petri net domain is given using a class of modular coloured Petri nets and includes, in particular, a treatment of inheritance and of dynamic binding. Keywords. Object-orientation, coloured Petri nets, semantics.

• Type: Conference
• Year: 2004
• Where: IFM
• Authors: Cécile Bui Thanh, Hanna Klaudel
• Keywords: IFM 2004, Petri Net Domain, Petri Net Semantics, Petri Nets