Petri net is a class of conceptual models for parallel system modeling. Some Petri net extensions have been proposed aiming at describing digital systems characteristics as accurately as possible. However, only two of them have nearly all features needed to describe such systems in full. This paper presents the modeling of a processor through a Petri net extension developed to overcome Petri ne...

architecture for intelligent agents, and then constructing a Petri net model systematically from the abstract architecture description of the system. Different scenarios were considered in order to indicate how the Petri net analysis methodologies can be used to assess key system properties, showing that there is a relationship between multi-agent systems with indirect interaction and Petri net...

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

Spiking Neural P (SN P) system characterizes the movement of spikes among the neurons. Spikes have a similarity with tokens in Petri net where tokens (like spikes) are moved through net according to specific rules. This paper proposes the concept of spiking Petri nets, which are isomorphic to spiking neural P systems. It also gives algorithms to construct spiking Petri net for SN P system and v...

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