Browse

Petri nets is the well-known mathematical tool for the modeling and verification of parallel systems of all kind. Multiprocess Petri multinets with time stamps (MPTSM) are the newly introduced class of low-level Petri nets, whose definition and the properties are the main topic of this article; they generalize the properties of P/T Petri multiprocess multinets in the area of design, modeling and verification of generally parallel programming systems with the discrete time. The MPTSM with the support of the ASYNC-C...

Petri nets is one of mathematical modeling languages for the description of all kind of parallel systems. The new class of P/T Petri multiprocess multinets (PPMM) and its ASYNC-CALL operation are introduced in this article and their base characteristic of the well-formed property is proved. PPMM then generalize the definitions of the bi-relational P/T Petri nets and the P/T Petri process nets and their operators that follows from the base ideas of Petri net processes and their property-preserving Petri net process...