Sciweavers

Share
IFM
2004
Springer

Object-Oriented Modelling with High-Level Modular Petri Nets

9 years 7 months ago
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.
Cécile Bui Thanh, Hanna Klaudel
Added 02 Jul 2010
Updated 02 Jul 2010
Type Conference
Year 2004
Where IFM
Authors Cécile Bui Thanh, Hanna Klaudel
Comments (0)
books