Bi-relational P/T Petri Nets and the Modeling of Multithreading Object-Oriented Programming Systems

Abstract

Bi-relational P/T Petri nets are the newly introduced class of Petri nets, whose implementation and definitions are the main topics of this paper; they feature certain new and original concepts when compared with conventional P/T Petri nets, which can be successfully used at a design, modeling and verification of multithreading object-oriented programming systems executing in parallel or distributed environment. In this paper basic characteristics of bi-relational P/T Petri nets are very briefly presented including possibilities in their definition of newly introduced net static pages and dynamic pages, net dynamic pages instances and their possible dynamic creation and destruction, functionalities of multiarcs and the mechanism of the execution of transitions at the modeling of object-oriented programming systems. The concept of subpages of net pages and its application in the modeling of the declared static and non-static variables and methods including the class inheritance and polymorphism, is also of an interest. Basic principles of bi-relational P/T Petri nets could be then further applied when defining the bi-relational object Petri Nets.