This article presents a new way of generating a generalized state equation that is useful for analyzing the token flow of the Petri Net (PN) with priority. The transition values in the firing vector as used in the conventional state equation are replaced with transition variables, which are generated by multiplying a series of firing condition functions taking the weighted inhibitor arc into ac...

A new approach in reliability evaluation of small isolated hybrid power systems, which include wind turbines and conventional generators, based on fluid stochastic Petri net (PN) modelling is presented. A major novelty of the proposed methodology is that a selection of constant time intervals is adopted, instead of assuming continuous dynamics. The proposed analysis presents similar characteris...

A new class of stochastic Petri nets is proposed in this paper. The Stochastic High Level Petti nets [SHLPNs] are High Level Petti nets augmented with exponentially distributed firing times. The main advantage of modeling homogeneous systems using SHLPNs is that the resulting models are simpler, more intuitive and have a smaller number of states as our examples show.

As part of the Petri Net Baukastenn Pad99b] the Expert View presents mathematical concepts and results of Petri net theory in a structured and application oriented way. Consistent formal Petri net techniques and transformations between these are main issues. We introduce the notions of formal Petri net techniques, abstract Petri net frames, instantiations, and transformations. These notions are...

As part of the Petri Net Baukastenn Pad99b] the Expert View presents mathematical concepts and results of Petri net theory in a structured and application oriented way. Consistent formal Petri net techniques and transformations between these are main issues. We introduce the notions of formal Petri net techniques, abstract Petri net frames, instantiations, and transformations. These notions are...

Petri nets are used to study many types of networked systems. [1] have designed a software tool for analysis and simulation of Petri nets. We extend this tool to handle a form of Petri net known as Predicate Transition (PrT) nets. We implement mechanisms that automate the process of folding a Petri net to a PrT net and finding invariants. We can compute invariants for systems that use either Pe...

Efficient techniques exist for the design of supervisors enforcing constraints consisting of linear marking inequalities. This note shows that without losing the benefits of the prior techniques, the class of constraints can be generalized to linear constraints containing marking terms, firing vector terms, and Parikh vector terms. We show that this extended class of constraints is more express...

Computer simulation enables system developers to execute a model of an actual or theoretical system on a computer and analyze the execution output. We have been exploring the use of Petri Net (PN) tools to study the behavior of systems that are represented using three kinds of biomedical models: a biological workflow model used to represent biological processes, and two different computer-inter...

In Multi-Agent System (MAS), developers concentrate on creating design models and evolving them, from higher level models to lower level models, in several steps. Considerable part of MAS implementations is automatically produced from the design models. If a design model contains faults, they are passed to the generated implementations. Practical model validation techniques are required to disc...

Recently, an efficient method for obtaining reduced interpreted Petri net, IPN, diagnoser was previously proposed for discrete event systems. This diagnoser consists of a single place and the same number of transitions that the system model has. Although, the current marking of this place (diagnoser) is enough to determine and locate faults occurring in a simple diagnosable discrete event syste...