In: Integrated Formal Methods: 4th International Conference, IFM 2004, Canterbury, UK, April 4-7, 2004, pages 287-306. Volume 2988 of Lecture Notes in Computer Science / Eerke A. Boiten, John Derrick and Graeme Smith (Eds.) --- Springer-Verlag, April 2004.
Abstract: In this paper, we address the problem of expressing object-oriented 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.