The power of Petri nets resides on the availability of several tools for analysis and verification of properties of systems. Users have to combine the functionality of tools in different applications to take their advantages and overcome their disadvantages in order to solve complex problems that can't be solved using a single tool. This combination is difficult, because each tool has its own P...

This article presents several diierent kinds of Petri nets, together with computer tools based on them, and compares possibilities of their application in the area of simulation and modelling. Place/transition Petri nets, stochastic Petri nets, hierarchical coloured Petri nets and nally object oriented Petri nets are mentioned here. As for the tools, Design/CPN, TimeNET, LOOPN++ and PNtalk are ...

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

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