An alterative approach to the backward reasoning is presented. In classical reasoning, both users and developers of many expert systems are dedicated to the forward reasoning. However, in many newly arising expert systems such as various diagnosis systems, the backward reasoning is of special intere
Structure matrices for petri nets and their applications
β Scribed by J.L. Johnson; T. Murata
- Publisher
- Elsevier Science
- Year
- 1985
- Tongue
- English
- Weight
- 763 KB
- Volume
- 319
- Category
- Article
- ISSN
- 0016-0032
No coin nor oath required. For personal study only.
β¦ Synopsis
Petri nets serve as a model of computer systems which involve concurrent processes.
ConJlict and confluence are relations which can limit concurrency in many situations, while precedence between processes can completely negate any concurrency. This paper introduces several new matrices which show important relationships between transitions and places in Petri nets. These matrices are grouped into three types: conj?ict, conJluence and precedence matrices. It is also shown that the matrices help to classify nets into widely known subclasses.
π SIMILAR VOLUMES
In this paper we introduce a new class of stochastic Petri nets in which one or more places can hold fluid rather than discrete tokens. We define a class of fluid stochastic Petri nets in such a way that the discrete and continuous portions may affect each other. Following this definition we provide
We present a new fuzzy timed Petri net model. Each transition firing in our model is associated with a fuzzy number; during transition, firings tokens are removed from input and added to output places. We consider the marks changing rate in each place as constant, and our performance analysis is bas
In this paper, an enhanced model of fuzzy temporal knowledge bases FTKBs formed by fuzzy temporal rules is introduced, and its projection onto the formalism of fuzzy Petri Ε½ . nets FPNs is presented. The main objective is to enhance the expressiveness of the rules making up the FTKB, regarding a pre
Three major applications of weighing matrices are discussed. New weighing matrices and skew weighing matrices are given for many orders 4t ~ 100. We resolve the skew-weighing matrix conjecture in the affirmative for 4t <~ 88.