uml is known as one of the most common methods in software engineering.since this language is semi-formal, many researches and efforts have beenperformed to transform this language into formal methods including petri nets.thus, the operation of verification and validation of the qualitative and nonfunctionalparameters could be achieved with more ability. since the majority of thereal world info...

The paper offers an overview on recent techniques for representing Biological Pathways with Petri Nets and their extensions. The main focus is on the metabolic pathways and their representation by standard Petri Nets, self-modified Petri Nets and Colored (High Level) Petri Nets. Gene Regulatory Pathway and Message Massing Nets are also considered. All biological information are taken from the K...

We compare various classes of Petri net languages. We present a new constructive proof of the equivalence, from the point of view of descriptive power, of “general” Petri nets and “restricted” Petri nets (no multiple arcs nor self-loops are allowed in the latter class). We also comment on the descriptive power of Petri nets versus that of finitely recursive processes.

In the sequel M is a Petri net. Let us consider X , Y . Let us assume that X misses Y . The functor PTempty f (X ,Y ) yielding a strict Petri net is defined by: (Def. 4)2 PTempty f (X ,Y ) = 〈X ,Y, / 0〉. Let us consider X . The functor Tempty f (X) yields a strict Petri net and is defined by: (Def. 5) Tempty f (X) = PTempty f (X , / 0). The functor Pempty f (X) yields a strict Petri net and is ...

The problem of Petri nets application to realworld parallel and distributed systems of industrial size causes developing of the compositionality within the theory of Petri nets. This paper presents a tools which is an attempt in resolving this problem. We suggest solution based on an algebraic approach of Petri net representation. Two levels of compositionality are introduced. The first one, al...

the synthetic seed technology is becoming popular due to its wide application in germplasm conservation and for exchanges between countries in the floriculture trade. in this study, this method was used to study the germination and conversion capabilities of orchid species dendrobium white fairy when stored at different storage times and with different storage containers. a high germination per...

process mining includes the automated discovery of petri nets from event logs. these event logs are the starting point for various discovery and analysis techniques of the process.  in this paper process model is developed using colored petri nets (cpns) and the supporting software package cpn tools. the restaurant process model is represented for the analysis using a combination of process min...