The universal inhibitor Petri net was constructed that executes an arbitrary given inhibitor Petri net. The inhibitor Petri net graph, its marking and the transitions firing sequence were encoded as 10 scalar nonnegative integer numbers and represented by corresponding places of universal net. The algorithm of inhibitor net executing that uses scalar variables only was constructed on its state ...

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

In this paper, we develop a unified approach for deriving complexity results for a number of Petri net problems. We first define a class of formulas for paths in Petri nets. We then show that the satistiability problem for our formulas is EXPSPACE complete. Since a wide range -of Petri net problems can be reduced to the satistiability problem in a straightforward manner, our approach offers an ...

The product form results recently published for Stochastic Petri Nets are combined with the well known product form results for Queueing Networks in the model formalism of Queueing Petri Nets yielding the class of product form Queueing Petri Nets. This model class includes Stochastic Petri Nets with product form solution and BCMP Queueing Networks as special cases. We introduce an arrival theor...

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

Queueing Petri nets are a powerful formalism that can be exploited for modeling distributed systems and analyzing their performance and scalability. By combining the modeling power and expressiveness of queueing networks and stochastic Petri nets, queueing Petri nets provide a number of advantages. In this paper, we present Version 2.0 of our tool QPME (Queueing Petri net Modeling Environment) ...

This paper presents an approach to constructing a class of an SPR net for modeling, simulation and control of processes occurring in the flexible manufacturing system (FMS) used based elementary siphons of a Petri net. Siphons are very important to the analysis and control of deadlocks of FMS that is significant objectives of siphons. Petri net models in the efficiency structure analysis, and u...

In a previous work, we applied the theory of regions to design optimal Petri net controller by adding so-called control places to the plant Petri net model with uncontrolable transitions and forbidden states. Unfortunately, such a simple controlplace-based solution does not always exist. In the present paper, we propose a new approach for designing optimal controller for ordinary bounded Petri ...

A framework of integrated expert systems based on fuzzy Petri net, called fuzzy Petri net based expert system (FPNES) are proposed for bridge damage assessment. Major features of FPNES include: reasoning for uncertain and imprecise information; knowledge representation through the use of hierarchical fuzzy Petri nets; reasoning mechanism based on fuzzy Petri nets; and explanation of reasoning p...

Workflow management promises a new solution to an age-old problem: controlling, monitoring, optimizing and supporting business processes. What is new about workflow management is the explicit representation of the business process logic which allows for computerized support. This paper discusses the use of Petri nets in the context of workflow management. Petri nets are an established tool for ...