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

The basic concepts of the Petri Net Baukastenn are introduced. The Petri Net Baukastenn is a Petri net technology and provides Petri net techniques. The Petri Net Baukastenn is consists of the Common Base and three diierent views, the Application Developer View, the Tool Developer View, and the Expert View. The main focus is to support the application developer and the tool developer as well as...

As the computing world moves from the information age into the knowledge-base age, it is beneficial to induce knowledge from the information superhighway formed from the Internet and intranet. Knowledge discovery in databases is defined as the non-trivial process of identifying valid, novel, potentially useful, and ultimately understandable patterns in data stored in databases. The knowledge ac...

Two simple but practical production systems are modeled using Petri Nets. Petri-net models are very useful in finding semantic errors like generalization error and missing conditions. In addition, reasoning with insufficient input information is formulated to yield meaningful results. In both rule-base verification and reasoning with insufficient data, heuristic methods like backward-chained re...

The concept of a Petri net, a tool for the study of certain discrete dynamical systems, was invented in 1939 by Carl Adam Petri. In the attempt to characterize Boolean Petri nets, we discovered a subclass of Boolean Petri net called the crisp Boolean Petri net, viz. , the one that generates every binary vector as its marking vectors exactly once. In this paper, the construction of a crisp Boole...