I challenge the traditional choice of topics and the usual style of presentation for introductory courses on Petri nets. For such a course I suggest a number of aspects that usually are not considered fundamental. This includes faithful models, a slight revision of formalisms and terminology, specific techniques to increase the expressive power of Petri net models, aspects derived from distribu...

Whether a real system is approximated in a discrete or continuous simulation model depends on the more predominating type of variables determining the system’s behavior over time. If both discretely and continuously changing variables have to be considered, hybrid simulation techniques have to be applied, where discrete events have an influence on the otherwise continuously changing system stat...

In a robotic soccer team, goalkeeper is an important challenging role, which has different characteristics from the other teammates. This paper proposes a new learning-based behavior model for a soccer goalkeeper robot by using Petri nets. The model focuses on modeling and analyzing, both qualitatively and quantitatively, for the goalkeeper role so that we have a model-based knowledge of the ta...

This paper introduces the Petri Net Radial Basis Function Perceptron (PNRBFP), a modified Petri Net that exhibits behavior equivalent to that of a typical radial basis function Perceptron when used in neural networking applications under certain domain restrictions. The PNRBFP makes use of modified transitions to perform basis function calculations and 'fuzzy' style tokens to transport values o...

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