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

State estimation of dynamic systems is a resort often used when only a subset of the state variables can be directly measured; observers are the entities computing the system state from the knowledge of its internal structure and its (partially) measured behaviour. The problem of discrete event systems (DES) estimation has been addressed in (Ramirez, 2003) and (Giua 2003); in these works the ma...

This paper gives a novel method of investigating flowsensitive pointer analysis for multithreaded program based on petri net. The method mainly borrows causal dataflow analysis idea from Azadeh Farzan. Petri net is used to describe control flow structure of multithreaded program. And pointer points-to information is propagated along causal dependencies of events in the partial order execution o...

In this paper we purpose a Petri-net-based method for describing the model of an object-oriented design of Access Control System (ACS), by specifying the object interaction scenarios as Petri nets with an Augmented Marked Petri Net (AMPN) structure. After synthesizing these scenarios into an integrated net, we analyze the system based on the special properties of AMPN. For unique representation...

Timed Petri nets can be used to model and analyse scheduling problems. To support the modelling of scheduling problems, we provide a method to map tasks, resources and constraints onto a timed Petri net. By mapping scheduling problems onto Petri nets, we are able to use standard Petri net theory. In this paper we will show that we can use Petri net based tools and techniques to find conflicting...