In the sequel M is a Petri net. Let us consider X , Y . Let us assume that X misses Y . The functor PTempty f (X ,Y ) yielding a strict Petri net is defined by: (Def. 4)2 PTempty f (X ,Y ) = 〈X ,Y, / 0〉. Let us consider X . The functor Tempty f (X) yields a strict Petri net and is defined by: (Def. 5) Tempty f (X) = PTempty f (X , / 0). The functor Pempty f (X) yields a strict Petri net and is ...

Petri net schemata are an intuitive and expressive approach to describe high-level Petri nets. A Petri net schema is a Petri net with edges and transitions inscribed by terms and Boolean expressions, respectively. A concrete high-level net is gained by interpreting the symbols in the inscriptions by a structure. Its semantics can then be described in terms of a transition system. Therefore, the...

We motivate and study the synthesis of Petri nets. Petri net synthesis can avoid the state exploration problem by guaranteeing the correctness in the Petri net while incrementally expanding the net. For systems specified in Petri nets, this paper proposes a synthesis method. One major advantage of this synthesis technique is that the resultant ordinary Petri net is guaranteed to be structural l...

to evaluate and predict component-based software security, a two-dimensional model of software security is proposed by stochastic petri net in this paper. in this approach, the software security is modeled by graphical presentation ability of petri nets, and the quantitative prediction is provided by the evaluation capability of stochastic petri net and the computing power of markov chain. each...

Gene Regulatory Networks are models of genes and gene interactions at the expression level. The advent of microarray technology has challenged computer scientists to develop better algorithms for modeling the underlying regulatory relationship in between the genes. Fuzzy system has an ability to search microarray datasets for activator/repressor regulatory relationship. In this paper, we presen...

Modeling and development of control systems to deal with the congestion at intersection in urban traffic is a critical research issue. Several approaches have been used to develop the modeling and controlling phenomenon in the said problem. These approaches include, Petri net, Fuzzy Logic, Neural Network, Genetic Algorithms, Activity Theory, Multi Agent Systems and many more. This paper is a su...

Knowledge in the social and human Sciences cannot be modeled with old time mathematical modeling techniques. In this situation, it would be very useful to have modeling approaches capable to express the richness of social reality, including its vagueness and uncertainty. Aiming at this objective, a soft modeling approach is proposed, implemented as a generalized fuzzy Petri net. This model can ...

Knowledge intensive applications require an intelligent environment, which can perform deductions in response to user queries or events that occur inside or outside of the applications. For that, we propose a fuzzy Petri net (FPN) model to represent knowledge and the behavior of an intelligent object-oriented database environment, which integrates fuzzy, active and deductive rules with database...