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...

Information in some fields like complex product design is usually imprecise, vague and fuzzy. Therefore, it would be very useful to design knowledge representation model capable to be adjusted according to information dynamics. Aiming at this objective, a knowledge representation scheme is proposed, which is called DRFK (Dynamic Representation of Fuzzy Knowledge). This model has both the featur...

Building smart grid for power system is a major challenge for safe, automated and energy efficient usage of electricity. The full implementation of the smart grid will evolve over time. However, before a new set of infrastructures are invested to build the smart grid, proper modeling and analysis is needed to avoid wastage of resources. Modeling also helps to identify and prioritize appropriate...

This paper presents an analytical approach for the analysis of non-Markovian stochastic Petri nets. The primary aim of the presented solution method is its universal applicability. Therefore, an approach based on discrete phase type distributions has been chosen to perform the necessary Markovization. For the handling of the resulting state space explosion problem, symbolic storage structures, ...

Colored Petri Nets (CPNs) extend the classical Petri net formalism with data, time, and hierarchy. These extensions make it possible to model complex processes as CPNs without being forced to abstract from relevant aspects. Moreover, CPNs are supported by CPN Tools—a powerful toolset that supports the design and analysis of such processes. The expressiveness of the CPN language enables differen...

thesis of feedback c o n trol logic for a class of controlled Petri nets. Stability and stabilizability o f b e h a vior of discrete event dynamical systems. Some tractable supervisory control problems for discrete-event systems modeled by B u c hi automata.visory control of concurrent discrete-event s y stems .

Petri nets are a subject of interest to researchers since more than 30 years. They became popular since they allow the graphic representation of computational structures and have a formal underpinning that allows formal proofs of properties. Their use in engineering, however is limited to a rather small number of applications. Many of the graphic notations used in practice are very similar to t...

Based on an analysis of the working principles of the hydraulic variable pitch system of a wind turbine, a novel Petri net model and reliability evaluation method are proposed. First, Petri net theory is adopted to build a model for each discrete state of the operation of the hydraulic pitch system of the wind turbine and at the same time a fault Petri net model is established. Then through qua...

Petri nets in which random firing delays are associated with transitions whose firing is a n atomic opemtion are known under the name "stochastic Petri nets". These models are discussed, with the purpose of ezplaining why they were proposed in the performance evaluation field, why random delays with negative ezponential probability density functions are mainly used, and what are their strong an...