Sequential Petri Nets and the Modeling of Multithreading Programming Systems

Sequential 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 and can be successfully used at a design, modeling and verification of multithreading programming systems executing in parallel or distributed environment. In this paper basic characteristics of sequential Petri nets are very briefly presented including possibilities in their definition of newly introduced tokens as non-empty finite sequences over the set of non-negative integer numbers and the mechanism of the firing of transitions at the modeling of multithreading programming systems. Sequential Petri Nets are also the initial step to the definition of object sequential Petri nets within the framework of which all paradigms of object-oriented programming can be explicitly represented.